message no. 172265
Posted by tuskkk____ in #github at 2019-05-10T12:30:51Z
Had a PR, made a mistake of force pushing with `git reset --hard origin/master`, all the commits were gone, but I managed to restore them using git reflog. But now the PR is closed and even when I make new commits, I can't seem to link to that PR