Commit 2086dc1
committed
feat: enable GitHub auto-merge for PRs
- Try to enable auto-merge via GitHub API when merge=true
- Fall back to manual merge if auto-merge fails or is not available
- Only perform manual merge if auto-merge was not successfully enabled
- Update log message to clarify when merge is manual vs auto
This allows GitHub to automatically merge PRs when they become ready
(CI passes, approval requirements met), reducing the need for manual
intervention or periodic script re-runs.1 parent ec13f93 commit 2086dc1
1 file changed
+35
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
362 | 362 | | |
363 | 363 | | |
364 | 364 | | |
| 365 | + | |
| 366 | + | |
| 367 | + | |
| 368 | + | |
| 369 | + | |
| 370 | + | |
| 371 | + | |
| 372 | + | |
| 373 | + | |
| 374 | + | |
| 375 | + | |
| 376 | + | |
| 377 | + | |
| 378 | + | |
| 379 | + | |
| 380 | + | |
| 381 | + | |
| 382 | + | |
| 383 | + | |
| 384 | + | |
| 385 | + | |
| 386 | + | |
| 387 | + | |
| 388 | + | |
| 389 | + | |
| 390 | + | |
| 391 | + | |
| 392 | + | |
| 393 | + | |
| 394 | + | |
| 395 | + | |
| 396 | + | |
| 397 | + | |
365 | 398 | | |
366 | 399 | | |
367 | 400 | | |
| |||
502 | 535 | | |
503 | 536 | | |
504 | 537 | | |
505 | | - | |
| 538 | + | |
506 | 539 | | |
507 | 540 | | |
508 | 541 | | |
| |||
514 | 547 | | |
515 | 548 | | |
516 | 549 | | |
517 | | - | |
| 550 | + | |
518 | 551 | | |
519 | 552 | | |
520 | 553 | | |
| |||
0 commit comments