4 Commits

Author	SHA1	Message	Date
Pekka Enberg	ec94770d08	scripts/merge-pr.py: Wrap merge commit message to 72 columns	2024-09-05 19:26:03 +03:00
Pekka Enberg	1e8197600c	scripts/merge-pr.py: Generate reviewed-by tags	2024-09-04 10:48:12 +03:00
Pekka Enberg	e18fc511bb	scripts/merge-pr.py: Use temporal file for commit message ... ...fixes problems like eating perfectly valid Markdown and stuff from pull request descriptions.	2024-08-01 21:07:39 +03:00
Pekka Enberg	d75817998d	Add merge-pr.py helper script ... This adds a helper script to generate merge commits that are nicer than the default Github one.	2024-08-01 10:23:06 +03:00