Commit bba6a80
authored
ci: Ignore ticket creation for base branches other than develop/master (#19103)
We already had this that #18987 was not closed because it was a PR to
another branch (to make it easier for reviewing):
#18987 (comment)
When having this a ticket will be opened, but not automatically closed
on merge as this workflow is apparently not supported by GitHub if the
base branch is not the default (I am not sure if it works for `master`,
but if there is a PR to `master` then we should definitely open a
ticket, even though it is not autoclosing - just because it might be a
mistake that it was opened against `master`)1 parent 54eb671 commit bba6a80
1 file changed
Lines changed: 2 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
20 | 20 | | |
21 | 21 | | |
22 | 22 | | |
23 | | - | |
| 23 | + | |
| 24 | + | |
24 | 25 | | |
25 | 26 | | |
26 | 27 | | |
| |||
0 commit comments