Skip to content

Commit

Permalink
Use different credentials for merge-up PRs (#1968)
Browse files Browse the repository at this point in the history
  • Loading branch information
alcaeus authored Mar 4, 2025
1 parent c2ca35c commit 785d943
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions .github/workflows/merge-up.yml
Original file line number Diff line number Diff line change
Expand Up @@ -13,15 +13,14 @@ permissions:

jobs:
merge-up:
environment: release
name: Create merge up pull request
runs-on: ubuntu-latest

steps:
- uses: mongodb-labs/drivers-github-tools/secure-checkout@v2
with:
app_id: ${{ vars.APP_ID }}
private_key: ${{ secrets.APP_PRIVATE_KEY }}
app_id: ${{ vars.PR_APP_ID }}
private_key: ${{ secrets.PR_APP_PRIVATE_KEY }}
# Make sure to include fetch-depth 0 so all branches are fetched, not
# just the current one
fetch-depth: 0
Expand Down

0 comments on commit 785d943

Please sign in to comment.