3 Commits

Author	SHA1	Message	Date
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
William Hubbs	35ec935741	ci/travis.sh: run shellcheck on shell scripts	2019-10-28 18:42:10 -05:00
William Hubbs	067088bbff	move ci scripts to their own directory ... This fixes #296.	2019-02-22 18:50:13 -06:00