https://medium.com/@ArnasSinkevicius/if-you-delete-a-branch-on-github-does-it-delete-all-pull-request-history-associated-with-that-ed7e57a6c614