Hardcoded mila bot

This commit is contained in:
2024-12-28 13:43:53 +01:00
parent 8cd4e1c57d
commit 8f6c4ec147

View File

@@ -61,7 +61,7 @@ runs:
repo_url="$(git remote get-url origin)" repo_url="$(git remote get-url origin)"
repo_url="${repo_url#https://}" # Remove HTTPS repo_url="${repo_url#https://}" # Remove HTTPS
GIT_NEW_URL="https://${GITHUB_REPOSITORY_OWNER}:${{ inputs.token }}@${repo_url}.git" GIT_NEW_URL="https://MilaBot:${{ inputs.token }}@${repo_url}.git"
git remote set-url origin "$GIT_NEW_URL" git remote set-url origin "$GIT_NEW_URL"
git config --local --unset http.https://${GITHUB_SERVER_URL#https://}/.extraheader git config --local --unset http.https://${GITHUB_SERVER_URL#https://}/.extraheader
@@ -76,4 +76,4 @@ runs:
log_info "Fast-forwarding master to dev" log_info "Fast-forwarding master to dev"
git checkout master git checkout master
git merge --ff-only dev git merge --ff-only dev
git push --force-with-lease git push