> 5. Push your changes to here: "git push > ssh://m...@repo.or.cz/srv/git/tinycc.git mypatch:mob"
I don't understand. The above is exactly the same what is in my PUSH.sh script. PS: Please say what to do with my local repo. How to sync my local repo with [mob]? _______________________________________________ Tinycc-devel mailing list Tinycc-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/tinycc-devel