subsurface/.github
Dirk Hohndel b3f0fd3e18 build-system/coverity: it seems silly to need both wget and curl
But hopefully with this we'll get the Coverity scans back.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2020-02-10 14:22:22 -08:00
..
actions/release GitHub Actions: fix logic error for new tags 2019-10-20 06:46:30 -04:00
workflows build-system/coverity: it seems silly to need both wget and curl 2020-02-10 14:22:22 -08:00
ISSUE_TEMPLATE.md Small changes to the issue template 2017-10-28 16:59:20 +02:00
PULL_REQUEST_TEMPLATE.md release-notes: use CHANGELOG.md 2017-11-28 19:05:04 -08:00