You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
why are you closing issues before the PR is even merged? That is something that needs to be closed when the PR is merged using the "Fixes #XXXX" handler.
It's now at:
I hope everyone agrees that's not an OK situation, as the next step for them to diverge, so I'm marking this as prio:high.
The text was updated successfully, but these errors were encountered: