I got scared for a second that I just deleted the main branch of a bigger public repository on GitHub. I had a PR merged and then deleted my branch. Except it just said I deleted the main branch! Thankfully, it turns out I had used the main branch of my fork for the PR.