@(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)
There isn't anything to compare.@originRepository.owner:@originId and @forkedRepository.owner:@forkedId are identical. |
@date(day.head.time) | ||
---|---|---|
@avatar(commit.committer, 20) @commit.committer | @commit.shortMessage | @commit.id.substring(0, 7) |