git.gnu.io has moved to IP address 188.8.131.52 -- please double check where you are logging in.
Only show local public notices in sitemap. Only do counts for them
in the sitemap index, and only show them in the notice sitemap.
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