Log In
bug
/
pagure
Clone
Source Code
GIT
Source
Issues
1
Pull Requests
0
Stats
Overview
Files
Commits
Branches
Forks
Releases
Commits
403
Branch:
d5c14ea9bb7d24982a7c79c2aed196c355ea3576
master
Check that the merge actually did merge something and inform the user otherwise
Pierre-Yves Chibon
• 11 years ago
d5c14e