git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

  • mmn's avatar
    deleteuser script changed to deleteprofile · 529b2f66
    mmn authored
    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
deleteprofile.php 2.53 KB