Pierre-Olivier Mercier 7fbe2f3f8e repochecker: Ensure hint and choice_cost are not higher than gain		2024-04-19 11:48:59 +02:00
..
api	admin: Can gunzip files	2024-04-19 11:48:59 +02:00
generation
get-remote-files
pki
static	admin: Improve file readability	2024-04-19 11:48:59 +02:00
sync	repochecker: Ensure hint and choice_cost are not higher than gain	2024-04-19 11:48:59 +02:00
.gitignore
app.go
fill_teams_zqds.sh
fill_teams.sh
index.go	admin: Add title on todo badges	2024-04-19 11:48:59 +02:00
main.go	admin: Handle dashboard later publication through evdist	2024-04-19 11:48:59 +02:00
static.go
team-names.txt