John Ericson
ca3937fb82
Mention internal API docs in PR template
...
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-04-02 19:44:44 -04:00
Valentin Gagarin
82b2cbf0f9
remove stale pull request template
...
the old one seems not to be picked up by GitHub anyway
2023-03-03 05:42:19 +01:00
Eelco Dolstra
0a82d2ca49
Ask release notes for incompatible changes, not bug fixes
2023-02-07 22:48:31 +01:00
Robert Hensing
3c08a3e6b6
PR template: Specify path to integration tests
2023-01-20 16:23:52 +01:00
Robert Hensing
dfbdde6d07
Update .github/PULL_REQUEST_TEMPLATE.md
2023-01-20 14:06:46 +01:00
Robert Hensing
7f04a54214
Update .github/PULL_REQUEST_TEMPLATE.md
2023-01-20 13:56:14 +01:00
Robert Hensing
dc9c455979
Apply suggestions from code review
...
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
2023-01-14 11:24:54 +01:00
Robert Hensing
fd7569393b
.github: Add pull request template
2023-01-10 22:50:56 +01:00
