-
me5na7qbjqbrp authored
Now `manage.py gen_contrib` generates a contributors.py matching the already existing format. It normalizes names to make the list more enjoyable. Before using this to seriously generate contributors.py we need to figure out a way to add pseudo names, or tell everyone to change their name on GitLab.
1f35e634