# HG changeset patch
# User Franklin Schmidt <fschmidt@gmail.com>
# Date 1652854904 21600
# Node ID a09d8bcdc0f9786d1a01b7bdf0d40a51a47c3f04
# Parent  028e74c8889d494f85263f7d473eee8e0565ce27
lower case repos

diff -r 028e74c8889d -r a09d8bcdc0f9 src/admin/add.html.luan
--- a/src/admin/add.html.luan	Thu May 12 16:54:11 2022 -0600
+++ b/src/admin/add.html.luan	Wed May 18 00:21:44 2022 -0600
@@ -1,5 +1,7 @@
 local Luan = require "luan:Luan.luan"
 local error = Luan.error
+local String = require "luan:String.luan"
+local to_lower = String.lower or error()
 local Io = require "luan:Io.luan"
 local Http = require "luan:http/Http.luan"
 local Shared = require "site:/lib/Shared.luan"
@@ -14,6 +16,7 @@
 local function handle()
 	local user = get_user()
 	local repo_name = Http.request.parameters.repo or error()
+	repo_name = to_lower(repo_name)
 	if repo_name=="_all" or repo_name=="_private" then
 		return [[<p error>Invalid rep name</p>]]
 	end