aboutsummaryrefslogtreecommitdiff
path: root/.github/PULL_REQUEST_TEMPLATE.md
AgeCommit message (Collapse)Author
2024-03-13un-thumbs-up ur github templatesJade Lovelace
These are not the way that we want to do things. Change-Id: I5f3706cf50d007a6659edb96a6230d52e18a769a
2023-09-05remove maintainers checklist in PR templateValentin Gagarin
maintainers are not really using it, and it produces a lot of noise when opening PRs.
2023-04-02Mention internal API docs in PR templateJohn Ericson
I think we want to ensure that all new items in headers are documented, and the documentation on modified items is kept up to date. It will take a while to document the backlog of undocumented things, but we can at least ensure that new items don't extend that backlog.
2023-03-03remove stale pull request templateValentin Gagarin
the old one seems not to be picked up by GitHub anyway
2023-02-07Ask release notes for incompatible changes, not bug fixesEelco Dolstra
2023-01-20PR template: Specify path to integration testsRobert Hensing
2023-01-20Update .github/PULL_REQUEST_TEMPLATE.mdRobert Hensing
2023-01-20Update .github/PULL_REQUEST_TEMPLATE.mdRobert Hensing
2023-01-14Apply suggestions from code reviewRobert Hensing
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
2023-01-10.github: Add pull request templateRobert Hensing