| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-12-20 | use HEAD in git URIs to point to the default branch | Mike Frysinger | |
| This makes the URIs shorter and dynamic: whatever the default branch the repo uses will be used. | |||
| 2019-10-28 | ci/travis.sh: run shellcheck on shell scripts | William Hubbs | |
| 2019-02-22 | move ci scripts to their own directory | William Hubbs | |
| This fixes #296. | |||
