Log In
bug
/
pagure
Clone
Source Code
GIT
Source
Issues
1
Pull Requests
0
Stats
Overview
Files
Commits
Branches
Forks
Releases
be7090
Delete the temporary git repository once the pull-request has been merged or failed
Authored and Committed by Pierre-Yves Chibon
10 years ago
raw
patch
tree
parent
1 file changed.
3 lines added
.
0 lines removed
.
progit/fork.py
file modified
+3
-0
Delete the temporary git repository once the pull-request has been merged or failed
progit/fork.py
file modified
+3
-0