10 commits

Author	SHA1	Message	Date
jade	0278c03de5	un-thumbs-up ur github templates ... These are not the way that we want to do things. Change-Id: I5f3706cf50d007a6659edb96a6230d52e18a769a	2024-03-13 23:10:25 -07:00
Valentin Gagarin	cc388fbc3a	remove maintainers checklist in PR template ... maintainers are not really using it, and it produces a lot of noise when opening PRs.	2023-09-05 14:08:40 +02:00
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