9 commits

Author	SHA1	Message	Date
pedrocarlo	80ccca8827	ruff lint fix	2025-06-20 15:59:03 -03:00
Pekka Enberg	38f7dec9e7	merge-pr.py: Fix random emails appearing in commit logs ... ...my good friend Claude was probably drunk when he wrote that code.	2025-01-16 14:54:10 +02:00
Pekka Enberg	e3d9082feb	scripts/merge-pr.py: Fix pull from a fork	2024-12-11 07:41:33 +02:00
Pekka Enberg	bd94303377	scripts/merge-pr.py: Manually map Github username to email address ... You can get pretty much any old email address out of Github API, so let's just map the emails manually.	2024-09-22 07:05:08 -04:00
Pekka Enberg	0d04f0717f	scripts/merge-pr.py: Don't wrap code blocks	2024-09-08 08:59:24 +03:00
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