Use vlsida-bot account for workflows

This commit is contained in:
Eren Dogan
2023-02-16 20:59:23 -08:00
parent b970756816
commit cb18043491
2 changed files with 6 additions and 6 deletions
+4 -4
View File
@@ -21,8 +21,8 @@ jobs:
- name: Synchronize OpenRAM repo
run: |
# Configure pusher account
git config --global user.name "mrg"
git config --global user.email "[email protected]"
git config --global user.name "vlsida-bot"
git config --global user.email "mrg+vlsidabot@ucsc.edu"
# Add remote repo
git remote add public-repo https://${{ secrets.WORKFLOW_ACCESS_TOKEN }}@github.com/VLSIDA/OpenRAM.git
git pull public-repo dev
@@ -41,8 +41,8 @@ jobs:
- name: Compare version and tag
run: |
# Configure pusher account
git config --global user.name "mrg"
git config --global user.email "[email protected]"
git config --global user.name "vlsida-bot"
git config --global user.email "mrg+vlsidabot@ucsc.edu"
# Add both repos
git remote add private-repo https://${{ secrets.WORKFLOW_ACCESS_TOKEN }}@github.com/VLSIDA/PrivateRAM.git
git remote add public-repo https://${{ secrets.WORKFLOW_ACCESS_TOKEN }}@github.com/VLSIDA/OpenRAM.git
+2 -2
View File
@@ -16,8 +16,8 @@ jobs:
- name: Configure git
run: |
# Configure the committer
git config --global user.name "mrg"
git config --global user.email "[email protected]"
git config --global user.name "vlsida-bot"
git config --global user.email "mrg+vlsidabot@ucsc.edu"
# Set remote repos
git remote add private-repo https://${{ secrets.WORKFLOW_ACCESS_TOKEN }}@github.com/VLSIDA/PrivateRAM.git
git remote add public-repo https://${{ secrets.WORKFLOW_ACCESS_TOKEN }}@github.com/VLSIDA/OpenRAM.git