[Tinycc-devel] git push configuration

[Milutin Jovanović]

Small git FYI.

git remote set-url --push origin ssh://address@hidden/srv/git/tinycc.git

will setup your repository to automatically push using this different URL, so that you do not have to type it in every time. It might be useful modifying the git instructions on the http://repo.or.cz/w/tinycc.git, so that the newcomers can benefit from this.

Miki.