Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
DAOS-16678 ci: fetch in gen_commit_pragmas.py
Run git fetch before git merge-base in case the repo is outdated. Test-tag: pr,vm Required-githooks: true Signed-off-by: Dalton Bohning <[email protected]>
- Loading branch information