@(issue: gitbucket.core.model.Issue, pullreq: gitbucket.core.model.PullRequest, comments: List[gitbucket.core.model.Comment], issueLabels: List[gitbucket.core.model.Label], collaborators: List[String], milestones: List[(gitbucket.core.model.Milestone, Int, Int)], labels: List[gitbucket.core.model.Label], isEditable: Boolean, isManageable: Boolean, repository: gitbucket.core.service.RepositoryService.RepositoryInfo)(implicit context: gitbucket.core.controller.Context) @import gitbucket.core.view.helpers
@gitbucket.core.issues.html.commentlist(Some(issue), comments, isManageable, repository, Some(pullreq))
@defining(comments.flatMap { case comment: gitbucket.core.model.IssueComment => Some(comment) case other => None }.exists(_.action == "merge")){ merged => @if(!issue.closed){ } @if(isManageable && issue.closed && pullreq.userName == pullreq.requestUserName && merged && pullreq.repositoryName == pullreq.requestRepositoryName && repository.branchList.contains(pullreq.requestBranch)){
Delete branch
Pull request successfully merged and closed
You're all set. The @pullreq.requestBranch branch can now be safely deleted.
} @gitbucket.core.issues.html.commentform(issue, !merged, isEditable, isManageable, repository) }
@gitbucket.core.issues.html.issueinfo(Some(issue), comments, issueLabels, collaborators, milestones, labels, isManageable, repository)