This repository has been archived by the owner on Jul 1, 2024. It is now read-only.
Some merged PRs aren't removed from the board #358
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
{{ message }}
In some cases there are PRs that are merged but don't get moved to the "recently merged" column. I think that this is always happening with PRs that are merged directly but not for self-merges.
The text was updated successfully, but these errors were encountered: