@(issue: gitbucket.core.model.Issue, pullreq: gitbucket.core.model.PullRequest, commits: Seq[gitbucket.core.util.JGitUtil.CommitInfo], comments: Seq[gitbucket.core.model.Comment], changedFileSize: Int, issueLabels: List[gitbucket.core.model.Label], collaborators: List[String], milestones: List[(gitbucket.core.model.Milestone, Int, Int)], priorities: List[gitbucket.core.model.Priority], labels: List[gitbucket.core.model.Label], isEditable: Boolean, isManageable: Boolean, isManageableForkedRepository: Boolean, repository: gitbucket.core.service.RepositoryService.RepositoryInfo, forkedRepository: Option[gitbucket.core.service.RepositoryService.RepositoryInfo], flash: Map[String, String])(implicit context: gitbucket.core.controller.Context) @import gitbucket.core.view.helpers @gitbucket.core.pulls.html.menu("conversation", issue, pullreq, commits, comments, changedFileSize, isManageable, repository, flash){
@gitbucket.core.issues.html.commentlist(Some(issue), comments.toList, 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(isManageableForkedRepository && issue.closed && merged && forkedRepository.map(r => (r.branchList.contains(pullreq.requestBranch) && r.repository.defaultBranch != pullreq.requestBranch)).getOrElse(false)){
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.toList, issueLabels, collaborators, milestones, priorities, None, labels, isManageable, repository)
}