Tommy Ma

I think this is still pending

> We don't need this now that users can push the same content with a new `--tag` (the new tag will point to the same commit ID). We can reopen...

yeh that sounds like a reasonable behaviour to me (probably identify by a new flag so that it's not a breaking change?) we might create an internal ticket for that

completed by #1403 and #1569