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

25 KiB

Raw Blame History

View Raw