Delete remote profiles by providing their ID if known, or you can provide their profile URI with --uri=https://... Useful for cleaning up old, long gone and no longer desired profiles and their notices.529b2f66
git.gnu.io has moved to IP address 18.104.22.168 -- please double check where you are logging in.
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org