bareos: master 3358930e

Diff Back to Repository
Author Committer Branch Timestamp Parent
arogge pstorz master 2022-12-05 19:35 master 4e3f5373 Pending
Changeset devtools: pr-tools requires status check

pr-tool will now also check if the status check with context
"continuous-integration/jenkins/pr-merge" is present and fail the PR
check otherwise.
mod - devtools/pip-tools/pr_tool/main.py Diff File