Instructions for removing a GitHub repository or account

You may wish to remove the projects and accounts that we have created. Here we list instructions for how to achieve that: