Don't push to submodules on "./sync-all push"
authorIan Lynagh <ian@well-typed.com>
Fri, 15 Feb 2013 14:12:46 +0000 (14:12 +0000)
committerIan Lynagh <ian@well-typed.com>
Fri, 15 Feb 2013 14:13:39 +0000 (14:13 +0000)
commit192789a4c4a4388e39d1652a62c09a3715637ead
treee6c4ddb6192ac2b58eb6a88b308119964d7e10d8
parent536ee09fc4bcf2c8084bbbcb5c7a62025e31a7a6
Don't push to submodules on "./sync-all push"

A standard git push doesn't make sense for them
sync-all