Good morning!
Yes, exactly what I was thinking 😅
Morning
morning
Morning
Morning
Good morning
Do you know if there's a way to prevent github from autoclosing a PR that has a branch that points to e.g. develop and has develop as a base?
I looks like it sees "ah, we're already there" and just closes the PR. Which is fair enough, I think, but it also breaks some of our workflow.