Ahh fuck it, I have no idea how to git@github.com:VanirAOSP/ as the default address. Probably can be done locally, but im done for the night.

repo forall -c "git tag v4.0"
repo forall -c "git push vanir --tags" -->error with git://github.com/VanirAOSP/

Revert "Let's try this"

This reverts commit 0b4dab1a3af9a8675871f5c28a1bccfc8fde1057