package templates import "gitgud/internal/domain" templ PullsList(user *domain.User, repo *domain.Repository, state string, prs []*domain.PullRequest, openCount, mergedCount, closedCount int) { @Layout("Pull requests · "+repo.Name, user) { @repoHeader(repo, "pulls")
if len(prs) == 0 { @emptyState("No pull requests", "There are no "+state+" pull requests in this repository.", "", "") } else {