but there are a few things that need fixing, at least repo redirects and case-insensitive `repo:` arguments.