File tree 2 files changed +3
-3
lines changed
2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change 41
41
42
42
# ref: https://github.com/peter-evans/create-pull-request
43
43
- name : Create a PR
44
- uses : peter-evans/create-pull-request@v6
44
+ uses : peter-evans/create-pull-request@v7
45
45
# Don't try open PRs in forks or when the job is triggered by a push to
46
46
# a branch other than the default branch.
47
47
if : github.repository == 'jupyterhub/mybinder.org-deploy' && (github.event_name != 'push' || github.ref == 'refs/heads/main')
Original file line number Diff line number Diff line change 97
97
98
98
# ref: https://github.com/peter-evans/create-pull-request
99
99
- name : Create a PR
100
- uses : peter-evans/create-pull-request@v6
100
+ uses : peter-evans/create-pull-request@v7
101
101
# Don't try open PRs in forks or when the job is triggered by a push to
102
102
# a branch other than the default branch.
103
103
if : github.repository == 'jupyterhub/mybinder.org-deploy' && (github.event_name != 'push' || github.ref == 'refs/heads/main')
@@ -230,7 +230,7 @@ jobs:
230
230
231
231
# ref: https://github.com/peter-evans/create-pull-request
232
232
- name : Create a PR
233
- uses : peter-evans/create-pull-request@v6
233
+ uses : peter-evans/create-pull-request@v7
234
234
# Don't try open PRs in forks or when the job is triggered by a push to
235
235
# a branch other than the default branch.
236
236
if : github.repository == 'jupyterhub/mybinder.org-deploy' && (github.event_name != 'push' || github.ref == 'refs/heads/main')
You can’t perform that action at this time.
0 commit comments