@import lib.ConfigFinder.ProutConfigFileName @import org.eclipse.jgit.lib.ObjectId @import scala.util.{Failure, Success} @import lib.sentry.SentryApiClient @( proutPresenceQuickCheck: Boolean, repoSnapshot: lib.RepoSnapshot, diagnostic: lib.Diagnostic, sentryApiClientOpt: Option[SentryApiClient] )(implicit req: Request[AnyContent], bot: lib.Bot) @showCommit(commitId: ObjectId) = {@commitId.name.take(7)} @showCommits(commitIds: Iterable[ObjectId]) = {@for(commitId<-commitIds) {@showCommit(commitId) }} @configLink(folder: String) = {@folder@ProutConfigFileName} @main {
@for(permissions <- repoSnapshot.repo.permissions) {

Permissions for @bot.user.atLogin

}

Config files

@if(!proutPresenceQuickCheck) { ❌ Quick check for @ProutConfigFileName failed! @if(repoSnapshot.config.configByFolder.nonEmpty) { GitHub seems to be returning data different to the Git repo itself... } }

Merged Pull Requests

}