K Jonathan Harker 5b56c08385 Make the git source uri configurable ... In some cases it may be useful to set the git source uri to use a different protocol (such as when using an http proxy) or another host (such as a local mirror). Allow passing a parameter to set the source uri to clone from. Change-Id: Id3696bbb4c70610ed8d3402ae207334bb7b3f234		2016-07-28 17:27:40 -07:00
..
init.pp	Make the git source uri configurable	2016-07-28 17:27:40 -07:00