stable
Clone or download
Read-only
Part of story #10501: Manage project labels When you delete a repository, then the pull requests of this repository should be deleted as well in the database (including the status of the review, the comments, the labels, …) Change-Id: Ic3467cc679faee6038266d4a00f5a91836487d06
Modified Files
Name | ||||
---|---|---|---|---|
A | plugins/git/include/Git/GitRepositoryDeletionEvent.php | +50 | −0 | Go to diff View file |
M | plugins/git/include/autoload.php | +3 | −2 | Go to diff View file |
M | plugins/git/include/events/SystemEvent_GIT_REPO_DELETE.class.php | +9 | −1 | Go to diff View file |
M | plugins/git/include/gitPlugin.class.php | +2 | −1 | Go to diff View file |
M | plugins/git/tests/events/SystemEvent_GIT_REPO_DELETETest.php | +12 | −1 | Go to diff View file |
M | plugins/pullrequest/include/PullRequest/Dao.php | +25 | −3 | Go to diff View file |
M | plugins/pullrequest/include/pullrequestPlugin.class.php | +8 | −0 | Go to diff View file |