Let's not implicitly suggest one can push directly to our repository on Salsa:
it's meant to be a read-only mirror of our canonical repo, and any changes made
directly on Salsa will be overwritten next time someone pushes _anything_ to the
canonical tails.git.