Static archive.
pagure.io was sunset in 2026; this is a read-only snapshot.
pagure
Source
Issues
2538
Pull Requests
2929
Forks
293
Releases
142
#280
Fix showing closed but not merged PR
Merged
Jul 1, 2015
by
pingou.
Opened
Jul 1, 2015
by pingou.
fix_closed_pr
into
master
Download 280.patch
no initial comment
ralph
commented
Jul 1, 2015
Sure, :+1:
pingou
commented
Jul 1, 2015
Thanks!
Metadata
Assignee
None
Tags
No Tags