picnoir
/
Nix
1
0
Fork 0
Code Issues Pull Requests 1 Releases Wiki Activity
16,133 Commits 6 Branches 0 Tags 60 MiB
Commit Graph

10 Commits

Author SHA1 Message Date
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