mirror of
https://github.com/ostreedev/ostree.git
synced 2024-12-21 13:34:34 +03:00
PAPR: migrate to the new name
The redhat-ci service has been renamed to PAPR. Previous values are still supported though should be considered deprecated. Closes: #885 Approved by: cgwalters
This commit is contained in:
parent
822ade62c6
commit
07acb5b82c
@ -13,9 +13,9 @@ set -euo pipefail
|
||||
# It's very common for people to accidentally change submodules, and having this
|
||||
# requirement is a small hurdle to pass.
|
||||
|
||||
# if running under RHCI, use the branch/PR HEAD actually
|
||||
# if running under PAPR, use the branch/PR HEAD actually
|
||||
# being tested rather than the merge sha
|
||||
HEAD=${RHCI_COMMIT:-HEAD}
|
||||
HEAD=${PAPR_COMMIT:-HEAD}
|
||||
|
||||
tmpd=$(mktemp -d)
|
||||
touch ${tmpd}/.tmpdir
|
||||
|
Loading…
Reference in New Issue
Block a user