2 Commits

Author	SHA1	Message	Date
Pere Diaz Bou	3d2e21675c	pere mailmap	2024-09-23 15:29:17 +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