It seems that I delete a branch on github when I should not do it.
What I did was as follow:
1- I add a new .gitignore to my system
2- I use
<
If this branch was deleted during the Pull Request, you can undo that right there in the UI using the "restore branch" button.
Tricky part is actually finding a PR that has been merged and closed, you just need to know the URL or the PR number to put into the URL. You can try looking in your deleted notification emails or just guess the PR number.
Writing this cause reflog
didn't help me restoring a teammate commit to a branch I've never pulled on my local git.