> > I intend to use the domain www.ajla-lang.cz as the primary home page of
> > the Ajla project.
> >
> > But I also need git hosting and I would use Savannah for that -
> > Savannah wouldn't be mirror or backup, it would be the main git
> > repository for Ajla (while the WWW homepage would be www.ajla-lang.cz)
> > - is it OK to use it this way?
>
> If you need just Git, you could consider using a simpler service like
> repo.or.cz.

OK, I uploaded my git to repo.or.cz

comment #1:

> A few files in your tarball miss valid copyright and license notices;

The files that don't contain copyright and license notices are generated. Does copyright apply to generated files?

For example, I took GNU binutils, I wrote a script that extracts the encoding of ARM64 constants and I put the result to the files arm64-w.inc and arm64-x.inc. Who owns the copyright of these files? Me? Binutils authors? Nobody (because a table of numbers can't be copyrighted)? Please, describe how to properly attribute copyright in cases like this.

> in those that do include a copyright notice, its form doesn't match what we
> use.  Please check savannah.gnu.org/maintenance/ValidNotices/.

ok, I can fix that.

> original submission:
> > == Other Comments: ==
> > I would like to host the Ajla git repository on Savannah.
>
> We don't require all parts of the project to be hosted at Savannah, but we expect that
> it will be used primarily (e.g. not as a mirror or backup).

I intend to use the domain www.ajla-lang.cz as the primary home page of the Ajla project.

But I also need git hosting and I would use Savannah for that - Savannah wouldn't be mirror or backup, it would be the main git repository for Ajla (while the WWW homepage would be www.ajla-lang.cz) - is it OK to use it this way?

A new group has been registered at Savannah.
This group will remain inactive until a site admin approves
or discards the registration.

Registration Administration

Approving or discarding the registration must be done using the specific
Group administration page, accessible only to site
administrators logged in as superusers.

Registration Details

• Name: Ajla
• System Name:  ajla
• Type: non-GNU software and documentation
• License: GNU General Public License v3 or later (contains mini-gmp, a minimalistic implementation of a GNU GMP subset.

Copyright 1991-1997, 1999-2019 Free Software Foundation, Inc.
The GNU MP Library is free software; you can redistribute it and/or modify
it under the terms of either:
  * the GNU Lesser General Public License as published by the Free
    Software Foundation; either version 3 of the License, or (at your
    option) any later version.
or
  * the GNU General Public License as published by the Free Software
    Foundation; either version 2 of the License, or (at your option) any
    later version.
or both in parallel, as here.

Unicode conversion tables are (C) Unicode Inc.
https://www.unicode.org/copyright.html)

---

Description:

Ajla is a purely functional programming language that has look-and-feel like traditional imperative languages. The return value of every function in Ajla depends only on its arguments. Ajla has mutable local variables and control flow statements (if, while, for, goto) that are known from imperative languages. Ajla doesn't have mutable global variables because they break purity and they may be subject to race conditions. Ajla is memory-safe — i.e. you can't create a segmentation fault in Ajla. Ajla doesn't have garbage collection; it uses reference counts to track allocated memory. Ajla has mutable arrays — if the array reference count is one, it is mutated in place, if it is different from one, a copy of the array is created.

Other Software Required:

(optional) libgmp - GNU LGPL v3 and GNU GPL v2 - https://gmplib.org/
(optional) libffi - https://github.com/libffi/libffi/blob/master/LICENSE - https://sourceware.org/libffi/
(optional) libquadmath - GNU Library General Public License 2+ - https://gcc.gnu.org/onlinedocs/libquadmath/

Other Comments:

I would like to host the Ajla git repository on Savannah.

Tarball URL:

https://ajla-lang.cz/downloads/ajla-0.0.0.tar.gz