stable

Clone or download

Read-only

request #8076: Save deleted git repositories before purging them

Change-Id: I90804bc2df9ef222ce6e1d1c4f4d930190e4b4a6

Modified Files

Name
M plugins/archivedeleteditems/bin/archive-deleted-items.pl +1 −1 Go to diff View file
M plugins/git/include/GitBackend.class.php +9 −0 Go to diff View file
M plugins/git/include/GitRepositoryManager.class.php +5 −0 Go to diff View file
M plugins/git/include/Git_Backend_Gitolite.class.php +39 −0 Go to diff View file
M plugins/git/include/Git_Backend_Interface.php +7 −0 Go to diff View file