# Github usernames of editors.
# Editors will be sorted alphabetically when website is generated, so no need for any specific order here.
- mscroggs
- jorgensd
- jpdean
- pbrubeck
- indiamai
