vikarti.anatra/Skyvern
1
0
Fork 0
mirror of https://github.com/Skyvern-AI/skyvern.git synced 2026-04-30 04:30:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

[SKY-8323] Update sync (#5072)

Browse source
This commit is contained in:
Aaron Perez 2026-03-12 16:45:44 -05:00 • committed by GitHub
parent 16eeb2d567
commit 39be43ce2e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 17 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

8
.github/workflows/auto-merge-sync.yml vendored
View file

@ -9,7 +9,7 @@ permissions:
jobs:
auto-merge:
if: >
contains(join(github.event.pull_request.labels.*.name, ','), 'sync') && contains('suchintan,wintonzheng,LawyZheng,pedrohsdb,marcmuon,celalzamanoglu,AronPerez', github.event.pull_request.user.login)
contains(join(github.event.pull_request.labels.*.name, ','), 'sync') && contains('suchintan,wintonzheng,LawyZheng,pedrohsdb,marcmuon,celalzamanoglu,AronPerez,claude[bot],copilot-swe-agent[bot]', github.event.pull_request.user.login)
runs-on: ubuntu-latest
steps:
@ -43,6 +43,12 @@ jobs:
celalzamanoglu)
echo "GH_PAT=${{ secrets.CELAL_GH_PAT }}" >> $GITHUB_OUTPUT
;;
claude\[bot\])
echo "GH_PAT=${{ secrets.SKYVERN_CLOUD_GH_PAT }}" >> $GITHUB_OUTPUT
;;
copilot-swe-agent\[bot\])
echo "GH_PAT=${{ secrets.SKYVERN_CLOUD_GH_PAT }}" >> $GITHUB_OUTPUT
;;
*)
echo "GH_PAT=${{ secrets.SKYVERN_CLOUD_GH_PAT }}" >> $GITHUB_OUTPUT
echo "Author $PR_AUTHOR is not in the approved list"

10
.github/workflows/sync-skyvern-cloud.yml vendored
View file

@ -63,6 +63,16 @@ jobs:
echo "GIT_EMAIL=aaron@skyvern.com" >> $GITHUB_OUTPUT
echo "GIT_USERNAME=AronPerez" >> $GITHUB_OUTPUT
;;
claude\[bot\])
echo "GH_PAT=${{ secrets.SKYVERN_CLOUD_GH_PAT }}" >> $GITHUB_OUTPUT
echo "GIT_EMAIL=209825114+claude[bot]@users.noreply.github.com" >> $GITHUB_OUTPUT
echo "GIT_USERNAME=claude[bot]" >> $GITHUB_OUTPUT
;;
copilot-swe-agent\[bot\])
echo "GH_PAT=${{ secrets.SKYVERN_CLOUD_GH_PAT }}" >> $GITHUB_OUTPUT
echo "GIT_EMAIL=198982749+copilot-swe-agent[bot]@users.noreply.github.com" >> $GITHUB_OUTPUT
echo "GIT_USERNAME=copilot-swe-agent[bot]" >> $GITHUB_OUTPUT
;;
*)
echo "GH_PAT=${{ secrets.SKYVERN_CLOUD_GH_PAT }}" >> $GITHUB_OUTPUT
echo "GIT_EMAIL=shu@skyvern.com" >> $GITHUB_OUTPUT