brandonchinn178 / brandonchinn178/mergit

Clean up trying branches when PR is closed

Open
#140 1 comment 0 reactions 0 assignees View on GitHub
urgent
Dominant language
Haskell
Stars
0
Forks
0
PR merge metrics
No merged PRs in 30d

Description

Trying branches are not deleted when the run fails or completes, so that CI jobs that haven't started yet can still use the trying branch ([ref](https://github.com/LeapYear/merge-bot/blob/master/merge-bot-core/src/MergeBot/Core.hs#L215-L219)). They are deleted when a merge run is finished and the PR is merged; but if a PR is closed without merging, the trying branch is left in perpetuity.

We should make sure to clean up trying branches when a PR is closed, in addition to when it merges

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.