Commit 8211ce2
committed
Refine check if PR can be updated in version increments workflow
Maintainers and consequently the organization's Eclipse Bot can always
modify a PR from a branch in the same repository, even if edit's by
maintainers are not (explicitly) enabled.
This avoids a false positive warning that a required version-increment
cannot be pushed, if for example a Bot has created a PR from a branch
within the target repository.
Follow-up on
- #31361 parent a9bd5d9 commit 8211ce2
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
118 | 118 | | |
119 | 119 | | |
120 | 120 | | |
121 | | - | |
| 121 | + | |
122 | 122 | | |
123 | 123 | | |
124 | 124 | | |
| |||
0 commit comments