From f5084cb19dd006c81b85c0101bbec18b6b60b5f3 Mon Sep 17 00:00:00 2001 From: Markus Lehtonen Date: Mon, 11 Sep 2023 16:14:20 +0300 Subject: [PATCH] scripts/update-gh-pages: sync OWNERS from master to gh-pages The gh-pages branch is normally automatically managed by the GitHub workflow. However, on really rare occasions there may beed to contribute something manually via a PR. Thus, this patch updates the update-gh-pages script to sync the OWNERS from master the gh-pages branch branch, to enable the usual prow-based workflow for PRs in gh-pages branch. --- scripts/github/update-gh-pages.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/scripts/github/update-gh-pages.sh b/scripts/github/update-gh-pages.sh index a4f62126e0..6427d0c6b8 100755 --- a/scripts/github/update-gh-pages.sh +++ b/scripts/github/update-gh-pages.sh @@ -181,6 +181,11 @@ else commit_hash=`git describe --tags --dirty --always` fi +# Sync OWNERS file from master branch +if [ "$GITHUB_REF" = "refs/heads/master" ]; then + cp OWNERS "$build_dir"/OWNERS +fi + # Switch to work in the gh-pages worktree pushd "$build_dir" > /dev/null