git.gnu.io has moved to IP address 184.108.40.206 -- please double check where you are logging in.
HTML lets us put the input element inside the label and then they
are automatically paired, but this is more explicit and clear imho.
Attach a file by drag & drop or click to upload
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org