* Update workflows

* Update to HEAD ref
This commit is contained in:
Kevin Rowlandson 2022-10-21 09:24:34 +01:00 коммит произвёл GitHub
Родитель 03d0a8730b
Коммит 205b304b48
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 1 добавлений и 1 удалений

2
.github/workflows/update-portal.yml поставляемый
Просмотреть файл

@ -87,7 +87,7 @@ jobs:
echo "==> Push changes..."
echo "Pushing changes to: $github_pr_repo"
git push "https://$GITHUB_TOKEN@github.com/$github_pr_repo.git" "HEAD:$GITHUB_BASE_REF"
git push "https://$GITHUB_TOKEN@github.com/$github_pr_repo.git" "HEAD:$GITHUB_HEAD_REF"
else
echo "No changes found."