| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-05-09 | Update pull-request template | Jonas Bernoulli |
| 2025-04-19 | Update texi instructions in pull-request template | Jonas Bernoulli |
| 2023-12-17 | docs: Update name of default branch from master to main | Martin Joerg |
| 2018-10-25 | Fix documentation typo | Jonas Bernoulli |
| 2018-10-03 | PULL_REQUEST_TEMPLATE: Fix typo | Jonas Bernoulli |
| 2018-08-27 | Ask contributors not to use Github to edit files and commit messages | Jonas Bernoulli |
| 2018-06-20 | Ask contributors to use maintainer-writable feature branches | Jonas Bernoulli |
| 2018-06-09 | Move Github templates into .github directory | Jonas Bernoulli |
| 2018-01-10 | Add PULL_REQUEST_TEMPLATE file | Jonas Bernoulli |
