git changing head not reflected on co-dev's branch
- by stevekrzysiak
Basically, we undid history. I know this is bad, and I am already committed to avoiding this at all costs in the future, but what is done is done.
Anyway, I issued a git push origin <1_week_old_sha:master to undo some bad commits. I then deleted a buggered branch called release(which had also received some bad commits) from remote and then…