Octobox can't detect when some PRs are merged, still show up as open #1878
Are you experiencing this issue in octobox.io or your own instance?
I do not own an Octobox subscription.
Several of my merged PRs from the dotnet/dotnet-api-docs repo are still showing up as open in octobox (green icon), even though they already have the purple icon in the PR page, and I even deleted the branch.
I expect Octobox to be able to refresh the merge status too so those PRs stop showing in the Open filter.
Example of a PR that has already been merged but Octobox is still showing as merged (even after I refresh): dotnet/dotnet-api-docs/pull/2336
I use Octobox with the purpose of tracking my open issues. If I can't filter open vs merged, then octobox loses its purpose.
Fixing this bug would benefit anyone who is trying to filter their open or merged PRs accurately.
No idea. This is a bug on the octobox side, because GitHub is able to filter open vs merged accurately.