Benjamin Esham

TIL: It’s possible for a single “git push” command to force-update some refs but not others. For example, “git push origin +develop master” is like a combination of “git push --force origin develop” and “git push origin master”. See the git-push docs.