Fork tutorial

Creating a fork

Please refer to this tutorial how to create a fork:

https://help.github.com/articles/fork-a-repo

Deleting a fork

After having merged a single pull-request, it is generally advisable to delete the fork and re-fork later for another change. This will prevent too much divergence between the local repository and the project (If you plan to make many more changes, it is probably better to try to become a committer than to file pull-requests).

The steps needed to delete a repository are explained here: https://help.github.com/articles/deleting-a-repository

One should be aware that this is a general procedure to delete any repository and it not special for forked ones. Therefore, there are some warnings and obstacles in order to prevent inadvertent deletion. In particular, one has to navigate to the specially marked Danger Zone in the settings of the repository and has to manually type the full name of the repository before deleting is possible.