Don't put a / on resolved gitosis-style git urls

Fixes #3224