Make sync-all handle all github protocols correctly
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 7 Mar 2014 15:50:43 +0000 (16:50 +0100)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 7 Mar 2014 15:50:43 +0000 (16:50 +0100)
commit3efcb0a7d147e05f86501783144bcd0ad3757e93
tree6271989c55c519aae76cdd7d01806c7451c0e939
parent0014fb3dbf4a2096489a4800adf2d79a83a12274
Make sync-all handle all github protocols correctly

This fixes #8824.
sync-all