We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d2a34d5 commit 48d7e7fCopy full SHA for 48d7e7f
1 file changed
.github/workflows/bot.yaml
@@ -38,9 +38,10 @@ jobs:
38
delete-branch: true
39
40
auto-merge:
41
- if: ${{ github.event_name == 'pull_request' && (github.event.pull_request.user.login == 'dependabot[bot]' || github.event.pull_request.user.login == 'pre-commit-ci[bot]' || github.event.pull_request.user.login == 'uv-lock-upgrader') }}
+ # if: ${{ github.event_name == 'pull_request' && (github.event.pull_request.user.login == 'dependabot[bot]' || github.event.pull_request.user.login == 'pre-commit-ci[bot]' || github.event.pull_request.user.login == 'uv-lock-upgrader') }}
42
runs-on: ubuntu-latest
43
steps:
44
+ - run: echo "${{ github.event.pull_request.user.login }}"
45
- name: Enable auto-merge for bot PRs
46
run: gh pr merge --auto --squash "$PR_URL"
47
env:
0 commit comments