jj/.github
Martin von Zweigbergk 7de8ac0744 github: don't ask PR authors to add themselves to the changelog
Most people seem to have forgotten to add themselves despite the
reminder in the PR tempalte. I (or whoever does the release) will fill
it out just before each release instead, like I did for 0.6.0. I
didn't remove the people already on the list for this release, but
I'll regenerate it for next release anyway.
2022-12-12 21:43:42 -08:00
..
workflows github: bump github/codeql-action from 2.1.35 to 2.1.36 2022-12-09 11:09:59 -08:00
dependabot.yml github: add a dependabot config 2022-03-16 21:09:01 -07:00
ISSUE_TEMPLATE.md github: include version number in issue template again 2022-03-12 23:34:37 -08:00
PULL_REQUEST_TEMPLATE.md github: don't ask PR authors to add themselves to the changelog 2022-12-12 21:43:42 -08:00