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. https://git-scm.com/docs/git-push/2.20.0#git-push-ltrefspecgt82308203
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!