adapting our acceptance of user names to the GitHub style (alphanumeric plus hyphen)

Merged Roberto José TORO OLMEDO requested to merge github/fork/katjaq/master into master

Created by: katjaq

this fixes #214 (closed)

Merge request reports