Sync from GitHub main #1

Open
nomad wants to merge 145 commits from sync/from-github into main
Showing only changes of commit 9c5c16caf8 - Show all commits
+2 -1
View File
@@ -62,7 +62,8 @@ jobs:
git config user.email "github-sync@users.noreply.github.com" git config user.email "github-sync@users.noreply.github.com"
git remote remove gitea >/dev/null 2>&1 || true git remote remove gitea >/dev/null 2>&1 || true
git remote add gitea "https://${GITEA_HOST}/${GITEA_REPO}.git" git remote add gitea "https://${GITEA_HOST}/${GITEA_REPO}.git"
git push -f gitea "HEAD:refs/heads/${SYNC_BRANCH}" git -c credential.helper= -c credential.useHttpPath=true \
push -f gitea "HEAD:refs/heads/${SYNC_BRANCH}"
http_code=$(curl -sS -o "$response_file" -w "%{http_code}" -X POST \ http_code=$(curl -sS -o "$response_file" -w "%{http_code}" -X POST \
"https://${GITEA_HOST}/api/v1/repos/${GITEA_REPO}/pulls" \ "https://${GITEA_HOST}/api/v1/repos/${GITEA_REPO}/pulls" \