release: explicit use of origin for git push