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
..
is_older_than
sh_yesno	use HEAD in git URIs to point to the default branch	2021-12-20 20:07:00 -05:00