sort the list of repos alphabetically #75

Closed floweisshardt closed 10 years ago