On 2014-02-12 21:38, Sönke Ludwig wrote:
Or a path to a cloned git repository where the developer can check out
and branch/revision that fits?
Well, git can clone both remote repositories and local ones from the
file system. I don't see the point in needing to limit that.