summaryrefslogtreecommitdiffstats
path: root/.github
AgeCommit message (Expand)Author
2020-12-19GitHub CI: Separate no-deprecated job from minimal jobRichard Levitte
2020-12-17GitHub CI: Add 'check-update' and 'check-docs'Richard Levitte
2020-12-17Github CI: run also on repository pushesTomas Mraz
2020-12-11Don't use no-asm in the Github CIsMatt Caswell
2020-12-04{.travis,ci,appveyor}.yml: Make minimal config consistent, add no-deprecated ...Dr. David von Oheimb
2020-12-03ci.yml: Let 'make' run silently (-s) with build (gcc) runs in parallel (-j4)Dr. David von Oheimb
2020-12-03ci.yml: Add 'perl configdata.pm --dump' to each configDr. David von Oheimb
2020-11-24Turn on Github CIMatt Caswell
2020-11-14Fix a few github file referencesRichard Levitte
2020-07-05Fix typos and repeated wordsGustaf Neumann
2020-06-04Add github sponsor buttonKurt Roeckx
2020-05-04CIFuzz turning dry_run offLeo Neat
2020-03-05Add CIFuzz actionLeo Neat
2020-03-05.github/PULL_REQUEST_TEMPLATE.md: Fix link to contributors guideVladimir Panteleev
2020-02-26doc: convert standard project docs to markdownDr. Matthias St. Pierre
2019-10-30Add a GitHub issue template for documentation issuesDr. Matthias St. Pierre
2019-10-30Add a GitHub issue template for questionsDr. Matthias St. Pierre
2019-10-26github: switch issue templates to new labelsDr. Matthias St. Pierre
2019-07-16Auto add a label depending on the type of issue they report.Kurt Roeckx
2018-11-13Remove markdown links from HTML comments in issue templatesRichard Levitte
2018-11-13Add issue templates and a user support pageRichard Levitte
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