@(commits: Seq[Seq[util.JGitUtil.CommitInfo]], diffs: Seq[util.JGitUtil.DiffInfo], members: List[String], originId: String, forkedId: String, sourceId: String, commitId: String, hasConflict: Boolean, repository: service.RepositoryService.RepositoryInfo, originRepository: service.RepositoryService.RepositoryInfo, forkedRepository: service.RepositoryService.RepositoryInfo, hasWritePermission: Boolean)(implicit context: app.Context) @import context._ @import view.helpers._ @import org.eclipse.jgit.diff.DiffEntry.ChangeType @html.main("Pull Requests - " + repository.owner + "/" + repository.name){ @html.header("pulls", repository)
Edit @originRepository.owner:@originId ... @forkedRepository.owner:@forkedId
@if(commits.nonEmpty && hasWritePermission){
Click to create a pull request for this comparison
} @if(commits.isEmpty){

There isn't anything to compare.

@originRepository.owner:@originId and @forkedRepository.owner:@forkedId are identical.
} else {
@commits.map { day => @day.map { commit => } }
@date(day.head.time)
@avatar(commit.committer, 20) @commit.committer @commit.shortMessage @commit.id.substring(0, 7)
Showing @diffs.size changed @plural(diffs.size, "file")
@helper.html.diff(diffs, repository, Some(commitId)) } }