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-02-22 | move ci scripts to their own directory | William Hubbs | |
This fixes #296. |