summaryrefslogtreecommitdiffstats
path: root/.github
AgeCommit message (Expand)Author
2020-12-19GitHub CI: Add 'check-update' and 'check-docs'Richard Levitte
2020-12-17Github CI: run also on repository pushesTomas Mraz
2020-12-02Turn on Github CI - backport improved ci.yml to 1.1.1Dr. David von Oheimb
2017-04-02Remind people to have 'Fixes #XXXX' in the commit messageRichard Levitte
2017-04-02Fixup the github pull request templateRichard Levitte
2017-01-28Don't need the checkbox; the hook does itRich Salz
2016-10-22Add a github pull request templateKurt Roeckx