Fixes #1, using git protocol instead of https