Named branches with tagged head

If we push (or import) a named branch whose head has a tag (happens frequently with release branches), the tag will be properly exported to the auxiliary Git repo that backs the GitLab UI, but the branch won't. In other words, the Gitlab branch won't be created nor updated.

This is relatively minor because

on the hg side, everything is fine
the push hasn't been blocked
for releases, the tag is arguably more important
next untagged push on the branch (e.g, editing a changeset for next release) will create or update the GitLab branch.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information