Small git FYI. git remote set-url --push origin ssh://[email protected]/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.
_______________________________________________ Tinycc-devel mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/tinycc-devel
