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: #790 Approved by: cgwalters
This commit is contained in:
parent
53d259b3c3
commit
8b8bdcc600
@ -13,9 +13,9 @@ set -xeuo 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