mirror of
https://github.com/gitbucket/gitbucket.git
synced 2026-01-02 21:59:56 +01:00
Merge pull request #202 from odz/delete-repository-with-pullreq
Resolves Error when deleting repository which has PR.
This commit is contained in:
@@ -46,8 +46,8 @@ trait RepositoryService { self: AccountService =>
|
||||
IssueLabels .filter(_.byRepository(userName, repositoryName)).delete
|
||||
Labels .filter(_.byRepository(userName, repositoryName)).delete
|
||||
IssueComments .filter(_.byRepository(userName, repositoryName)).delete
|
||||
Issues .filter(_.byRepository(userName, repositoryName)).delete
|
||||
PullRequests .filter(_.byRepository(userName, repositoryName)).delete
|
||||
Issues .filter(_.byRepository(userName, repositoryName)).delete
|
||||
IssueId .filter(_.byRepository(userName, repositoryName)).delete
|
||||
Milestones .filter(_.byRepository(userName, repositoryName)).delete
|
||||
WebHooks .filter(_.byRepository(userName, repositoryName)).delete
|
||||
|
||||
Reference in New Issue
Block a user