bareos: master 0cf6d1a4

Diff Back to Repository
Author Committer Branch Timestamp Parent
arogge pstorz master 2022-12-07 13:03 master 3358930e Pending
Changeset devtools: pr-tool provide feedback on merge

"pr-tool merge" will now show if PR was merged or not before exiting.
mod - devtools/pip-tools/pr_tool/main.py Diff File