Documentation: git push repository can also be a remote