Skip to content

Commit

Permalink
Merge pull request #186 from ergebnis/dependabot/github_actions/ergeb…
Browse files Browse the repository at this point in the history
…nis/dot-github-1.9.0

github-actions(deps): Bump ergebnis/.github from 1.8.0 to 1.9.0
  • Loading branch information
ergebnis-bot authored Dec 18, 2023
2 parents 5438e98 + 9a4d260 commit b9b5c20
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 6 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/merge.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -26,23 +26,23 @@ jobs:
steps:
- name: "Request review from @ergebnis-bot"
uses: "ergebnis/.github/actions/github/pull-request/request-review@1.8.0"
uses: "ergebnis/.github/actions/github/pull-request/request-review@1.9.0"
with:
github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
reviewer: "ergebnis-bot"

- name: "Assign @ergebnis-bot"
uses: "ergebnis/.github/actions/github/pull-request/add-assignee@1.8.0"
uses: "ergebnis/.github/actions/github/pull-request/add-assignee@1.9.0"
with:
assignee: "ergebnis-bot"
github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"

- name: "Approve pull request"
uses: "ergebnis/.github/actions/github/pull-request/approve@1.8.0"
uses: "ergebnis/.github/actions/github/pull-request/approve@1.9.0"
with:
github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"

- name: "Merge pull request"
uses: "ergebnis/.github/actions/github/pull-request/merge@1.8.0"
uses: "ergebnis/.github/actions/github/pull-request/merge@1.9.0"
with:
github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
2 changes: 1 addition & 1 deletion .github/workflows/release.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,6 @@ jobs:

steps:
- name: "Create release"
uses: "ergebnis/.github/actions/github/release/create@1.8.0"
uses: "ergebnis/.github/actions/github/release/create@1.9.0"
with:
github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
2 changes: 1 addition & 1 deletion .github/workflows/triage.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,6 @@ jobs:

steps:
- name: "Add labels based on branch name"
uses: "ergebnis/.github/actions/github/pull-request/add-label-based-on-branch-name@1.8.0"
uses: "ergebnis/.github/actions/github/pull-request/add-label-based-on-branch-name@1.9.0"
with:
github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"

0 comments on commit b9b5c20

Please sign in to comment.