Implement pulling and pushing via repobridge instead of HTTPS
This makes the repoBridge integration also fully work with Git <2.9, which introduced
http.extraHeader options.
Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org></patrick@puiterwijk.org>