Mike Frysinger 301161a7a4 use HEAD in git URIs to point to the default branch
This makes the URIs shorter and dynamic: whatever the default branch
the repo uses will be used.
2021-12-20 20:07:00 -05:00
..
2014-12-05 11:55:45 -06:00
2013-08-13 16:33:41 -05:00
2016-06-13 17:43:36 -05:00