Re: [GCD] Migrating repositories, issues, and patches to Codeberg

[Noé Lopez]

Hi Ludovic,

This is great!

> SPDX-License-Identifier: CC-BY-SA-4.0 OR GFDL-1.3-no-invariants-only

GCD#0001 says GFDL 1.3 or later, but has « only » in the license
identifier. So this should be GFDL-1.3-no-invariants-or-later. Or maybe
not, I don’t know the legal implications of saying two different things
in the same document.  I already sent a mail to Simon to make an
erratum.

On the topic of merging pull-requests, it should still be possible to
apply the commits from git, since you can access them easily:

git fetch -u origin +refs/pull/<id>/head:pull-request

IMO, the staging branch seems like an easy way for a bad patch to make
its way into master, since overlooking a commit would be easier. I
personnaly would like it if the reviewed-looks-good tag would be kept
for non-committers to mark pull requests as « probably ready to merge ».

Have a nice day,
Noé