3 ms·
It was a series of PRs merged on github, no one in the office had a current branch of develop.
by mmanfrin 11y ago
It was a series of PRs merged on github, no one in the office had a current branch of develop.
- dsp1234 11y agoIt 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-from-githubs-reflog/ https://objectpartners.com/2014/02/11/recovering-a-commit-fr... edit: This should be in reply to jordigh's comment above
- lmm 11y agoIf 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)?