We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.
scripts/fixup_group_uri.php to fill in empty user_group.uri entries; needed before changing domain names on sites that are hosting groups for remote users
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org