| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-09-05 | remove maintainers checklist in PR template | Valentin Gagarin | |
| maintainers are not really using it, and it produces a lot of noise when opening PRs. | |||
| 2023-04-02 | Mention internal API docs in PR template | John 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-03 | remove stale pull request template | Valentin Gagarin | |
| the old one seems not to be picked up by GitHub anyway | |||
| 2023-02-07 | Ask release notes for incompatible changes, not bug fixes | Eelco Dolstra | |
| 2023-01-20 | PR template: Specify path to integration tests | Robert Hensing | |
| 2023-01-20 | Update .github/PULL_REQUEST_TEMPLATE.md | Robert Hensing | |
| 2023-01-20 | Update .github/PULL_REQUEST_TEMPLATE.md | Robert Hensing | |
| 2023-01-14 | Apply suggestions from code review | Robert Hensing | |
| Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io> | |||
| 2023-01-10 | .github: Add pull request template | Robert Hensing | |
 |
index : lix | |
| User & |
| aboutsummaryrefslogtreecommitdiff |