11 commits

Author	SHA1	Message	Date
Robert Hensing	b0b1938982	Urge contributors to read about contributing	2024-08-11 13:15:58 +02:00
tomberek	b1c559eabc	docs: add link to project board to PRs (#9630) ... * docs: add link to project board to PRs * Update .github/PULL_REQUEST_TEMPLATE.md Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io> * fix wording * add note on the process --------- Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>	2023-12-18 15:45:57 +00: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