You type fast. One more function, one more docstring, one more test. You run ‘make test’. You see all tests green. You are ready to commit, push and finally start the weekend (yes, it’s late Friday afternoon and your colleagues are about to start production deployment). Oh, you suddenly realise that you named the git branch incorrectly! What’s more, you pushed the branch to the remote repository!