From dc554517865ac68f004ed8c2358a8ee696ec21f4 Mon Sep 17 00:00:00 2001 From: "John T. Wodder II" Date: Mon, 15 Feb 2021 23:16:04 -0500 Subject: [PATCH] Set GitHub credentials for pushing to clone when creating PR to remove patch --- .github/workflows/tools/apply-patches | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/tools/apply-patches b/.github/workflows/tools/apply-patches index 83acc9f3fe..463e08573a 100755 --- a/.github/workflows/tools/apply-patches +++ b/.github/workflows/tools/apply-patches @@ -37,6 +37,7 @@ do tmpdir="$(mktemp -d)" git clone --depth 1 "$(git remote get-url origin)" "$tmpdir" cd "$tmpdir" + git config http.https://github.com/.extraheader "AUTHORIZATION: basic $(printf 'x-access-token:%s' "$GITHUB_TOKEN" | base64)" git checkout -b "$branch_name" git rm "$patchfile" git commit -m "Delete patch $(basename "$patchfile")"