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.

/Jacob Carlborg