bareos: master 596a385c
| Author | Committer | Branch | Timestamp | Parent | |
|---|---|---|---|---|---|
| arogge | pstorz | master | 2022-12-01 09:39 | master 60651033 | Pending |
| Changeset | devtools: improve pr-tool * Check that PR status is OPEN and not CLOSED or MERGED. * Display url of PR * Add parameter --admin-override to merge. Will call the 'gh pr merge' command with the --admin option to override required checks if possible * Look for github status checks and stop merge if not successful. Provide option --ignore-status-checks in merge to skip this check. |
||||
| mod - devtools/pip-tools/pr_tool/main.py | Diff File | ||||
