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é
