dash
dash copied to clipboard
[BUG] Some merged PRs are not disappearing from the list after merged
Branch/Commit:
Main branch
Expected behavior:
Merged PRs shouldn't be listed.
Actual behavior:
Some merged PRs are showing with a closed state. After a manual sync of the PRs, they are gone.
I guess a simple workaround would be to NOT show PRs with closed status.
Steps to reproduce:
I'm not sure what makes those PRs special. I think the issue is related to dash using the generic github user for the cronjob and the current logged user when manually syncing.
Screenshots and Videos

I will abide by the [code of conduct] (https://github.com/rubygems/rubygems/blob/master/CODE_OF_CONDUCT.md)