bareos: master 67d8f95f

Author Committer Branch Timestamp Parent
arogge arogge master 2023-01-26 12:06 master 0658e55e Pending
Changeset devtools: cancel merge if repo not up-to-date

This fixes the check that determines if your local repository is up to
date and lets the merge subcommand fail if you're not up to date.
mod - devtools/pip-tools/pr_tool/main.py Diff File