git.gnu.io has moved to IP address 184.108.40.206 -- please double check where you are logging in.
On certain screen sizes (768px, 980px, etc), the fixed navbar tends to
[hide elements at the top of the page]. To resolve this, I changed
body's `padding-top` value to 7.375ems.
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org