Learning how to use github for Hacktoberfest 2020
Lesson 1: don't make the repository private or you lose all of the pull requests
Lesson 2: making the repo public again does not restore these changes
Lesson 3: deleting the repo removes all pull request progress
Lesson 4: it still works in 2021