My company recently switched to a short lived feature branch workflow - and it's fantastic. My favorite new trick is that I can now "delete" any bad work I may have pushed accidentally. When I know that I just pushed the branch and no-one else has it, I can use git push origin :branch-name
to kill it off and do whatever I want locally to fix up.
My question refers to situations where I haven't just pushed my branch. Say I wanted to rebase an old branch to a newer one, and don't want to deal with merge conflicts - if I were alone, I could just kill the remote branch as noted above, fix up, and re-create the remote - but is there a way to check if anyone else has pulled my branch since I pushed?
I don't want to delete/modify the remote copy of the branch if someone else has it - I know that's the big "No, don't do it" when it comes to git.