Tools: master 6a22fb6a
Author | Committer | Branch | Timestamp | Parent |
---|---|---|---|---|
dregad | dregad | master | 2021-05-06 09:19 | master d1fff335 |
Changeset | New script to identify merged branches to delete Once a PR has been merged, its reference branch is in most cases no This script checks all branches in the specified developer's repository |
|||
add - merged_pr_branches.py | Diff File |