message: Update .github/rebase.sh
diff: @@ -11,13 +11,13 @@ git fetch fork "$HEAD_BRANCH"
  git config user.email "$USER_EMAIL"
  git config user.name "$USER_NAME"
  -LOCAL_BRANCH=rebase-tmp-"$HEAD_BRANCH"
  -git checkout -b "$LOCAL_BRANCH" fork/"$HEAD_BRANCH"
  +LOCAL_BRANCH="rebase-tmp-$HEAD_BRANCH"
  +git checkout -b "$LOCAL_BRANCH" "fork/$HEAD_BRANCH"
  bot_delete_comments_matching "Error: Rebase failed"
  # do the rebase
  -git rebase base/"$BASE_BRANCH" 2>&1 || bot_error "Rebase failed, see the related [Action]($JOB_URL) for details"
  +git rebase "base/$BASE_BRANCH" 2>&1 || bot_error "Rebase failed, see the related [Action]($JOB_URL) for details"
  # push back
  -git push --force-with-lease fork "$LOCAL_BRANCH":"$HEAD_BRANCH" 2>&1 || bot_error "Cannot push rebased branch, are edits for maintainers allowed, or were changes pushed while the rebase was running?"
  +git push --force-with-lease fork "$LOCAL_BRANCH:$HEAD_BRANCH" 2>&1 || bot_error "Cannot push rebased branch, are edits for maintainers allowed, or were changes pushed while the rebase was running?"
  