aboutsummaryrefslogtreecommitdiff
path: root/.github/PULL_REQUEST_TEMPLATE
AgeCommit message (Expand)Author
2026-02-26templates: Discourage use of LLMs when opening topicsJonas Bernoulli
2025-05-09Update pull-request templateJonas Bernoulli
2025-04-19Update texi instructions in pull-request templateJonas Bernoulli
2023-12-17docs: Update name of default branch from master to mainMartin Joerg
2018-10-25Fix documentation typoJonas Bernoulli
2018-10-03PULL_REQUEST_TEMPLATE: Fix typoJonas Bernoulli
2018-08-27Ask contributors not to use Github to edit files and commit messagesJonas Bernoulli
2018-06-20Ask contributors to use maintainer-writable feature branchesJonas Bernoulli
2018-06-09Move Github templates into .github directoryJonas Bernoulli
2018-01-10Add PULL_REQUEST_TEMPLATE fileJonas Bernoulli