PThorpe92
|
d2a762534c
|
Fix merge script to prompt if tests are still in progress
|
2025-09-08 13:22:40 -04:00 |
|
C4 Patino
|
75c85e6284
|
ci: fix merge-pr issue to escape command-line backticks
|
2025-08-25 17:59:58 -05:00 |
|
PThorpe92
|
84900c4da2
|
Check repository scope in merge pr script
|
2025-07-31 11:39:57 -04:00 |
|
PThorpe92
|
ca383a3b88
|
Fix merge-py.py script to use github CLI and add makefile command
|
2025-07-31 10:20:17 -04:00 |
|
PThorpe92
|
ab22dafbe1
|
Fix merge_pr.py script to avoid marking contributor PRs as closed
|
2025-07-30 22:49:57 -04:00 |
|
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 |
|