15 Commits

Author	SHA1	Message	Date
Emil Ernerfeldt	93d458bb68	Clarify PR template wording	2024-06-26 09:00:23 +02:00
Emil Ernerfeldt	2f508d6a61	Replace cargo-cranky with workspace lints (#4413) ... Replace `cargo-cranky` (which has served us well) with workspace lints	2024-04-25 17:24:50 +02:00
Emil Ernerfeldt	45e9e8df00	PR template: remind contributors to pick good PR titles	2024-02-06 09:22:14 +01:00
Ryan Hileman	7169f28ddf	grammar fix in pr template (#3514)	2023-11-10 11:18:16 +01:00
Emil Ernerfeldt	46daaa8a34	Improve PR template	2023-08-09 12:51:22 +02:00
Emil Ernerfeldt	902bcfe6aa	Add script to generate changelogs (#2920) ... * Add script to generate changelogs from PR labels * Improve PR template * Better categorization	2023-04-18 18:58:12 +02:00
Emil Ernerfeldt	03c1a05e49	Rename sh/ folder to scripts/	2023-04-18 17:10:52 +02:00
Emil Ernerfeldt	aa6a2bb73f	Update PR template to suggests users to run ./sh/check.sh	2022-04-03 09:52:25 +02:00
Emil Ernerfeldt	b31ca7efc9	PR template: remind people to run cargo fmt and cargo clippy	2021-10-25 23:21:39 +02:00
Emil Ernerfeldt	5b462197fa	Improve instructions in PR template	2021-05-20 22:07:02 +02:00
Emil Ernerfeldt	cb797a489a	Expand PR template with reminder to update CHANGELOG.md	2021-05-08 08:23:26 +02:00
Emil Ernerfeldt	f07bdf0433	Add more instructions to PR template	2021-04-15 22:21:48 +02:00
Emil Ernerfeldt	ab4819ca99	PR template: encourage linking to the relevant issue	2021-04-05 14:23:42 +02:00
Emil Ernerfeldt	ec2aab3a72	Improve github templates with <!-- comments -->	2021-03-13 13:58:52 +01:00
Emil Ernerfeldt	24a1c3136c	Add a pull_request_template.md	2021-02-21 10:12:23 +01:00