𝕨𝕒𝕤𝕒𝕓𝕚@feddit.de to Programmer Humor@lemmy.mlEnglish · 2 years agoWe've all been therefeddit.deimagemessage-square11fedilinkarrow-up1139arrow-down15
arrow-up1134arrow-down1imageWe've all been therefeddit.de𝕨𝕒𝕤𝕒𝕓𝕚@feddit.de to Programmer Humor@lemmy.mlEnglish · 2 years agomessage-square11fedilink
minus-square𝕨𝕒𝕤𝕒𝕓𝕚@feddit.deOPlinkfedilinkarrow-up12·2 years agoI assume the accident was not to force push, but to the wrong branch
minus-squaremagic_lobster_party@kbin.sociallinkfedilinkarrow-up5·2 years agoI hope they learned the value of protecting your branches.
minus-squareRedscare867@lemmy.mllinkfedilinkEnglisharrow-up3·edit-22 years agoThis is why I always git push origin +branch_name
minus-squareforgeddit@sopuli.xyzlinkfedilinkarrow-up1·edit-22 years agoMy go-to these days is to push the current branch, dynamically. git push origin HEAD Depending on the VC, HEAD has different prefix/suffixes to make it work. Edit: formatting, also I never checkout master I do origin/master so I cannot even push it with this method. I think
I assume the accident was not to force push, but to the wrong branch
I hope they learned the value of protecting your branches.
This is why I always
git push origin +branch_nameMy go-to these days is to push the current branch, dynamically.
git push origin HEAD
Depending on the VC, HEAD has different prefix/suffixes to make it work.
Edit: formatting, also I never checkout master I do origin/master so I cannot even push it with this method. I think