dash icon indicating copy to clipboard operation
dash copied to clipboard

[BUG] Some merged PRs are not disappearing from the list after merged

Open arielj opened this issue 4 years ago • 0 comments

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

image

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

arielj avatar Apr 09 '21 12:04 arielj