Feature: vendor push

Here's the vendor push implementation. It currently does git push --all and git push --tags, to be improved when we add notes.