git.gnu.io has moved to IP address 184.108.40.206 -- please double check where you are logging in.
Added a local directory for locally-installed software. This is where
you should put any code you write, themes, plugins, etc. so they don't
get stomped by upgrades.
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org