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
#313
Non-authenticated user can also see the PR merge status
Merged
Jul 29, 2015
by
pingou.
Opened
Jul 29, 2015
by pingou.
fix_merge_check
into
master
Download 313.patch
no initial comment
ralph
commented
Jul 29, 2015
:+1:
Metadata
Assignee
None
Tags
No Tags