names: additional name restrictions
commit97cc3389ba8b6e1212de6812719a3e9dbc95cab4
authorKyle J. McKay <mackyle@gmail.com>
Sun, 1 Feb 2015 19:52:16 +0000 (1 11:52 -0800)
committerKyle J. McKay <mackyle@gmail.com>
Sun, 1 Feb 2015 19:52:16 +0000 (1 11:52 -0800)
treee782093cf7d6c6d4b66ca77bb3d879304e635a84
parent30663467d4d507b23e27d43ebc286d9d64209251
names: additional name restrictions

Make the reserved user and project names case insensitive.

Since user names can become part of a ref name with personal mob
branches, add the appropriate restrictions to user names.

Since the 'mob.' and/or 'mob_' prefix is used for personal mob
branches, forbid user names with those prefixes to avoid confusion.

Update the names.html documentation to include the new rules.
Girocco/Project.pm
Girocco/User.pm
html/names.html