On: How to undo almost anything with Git

[mmanfrin]

It was a series of PRs merged on github, no one in the office had a current branch of develop.

[dsp1234 → mmanfrin]

It looks like you can use the GitHub API to get the events for the specific repo, which would include your force push, and the hash of the previous commit. Some instructions at https://objectpartners.com/2014/02/11/recovering-a-commit-fr...

edit: This should be in reply to jordigh's comment above

[lmm → mmanfrin]

If it's just a matter of "merging" couldn't you just merge those branches again? Or do you resolve conflicts on github or some such (something that's never fit my workflow but I can imagine others using it)?