Some aspects of GitHub require the committing email has an actual user. This is that user for commits made by Restyled.
May 2020
Milky Way Galaxy
Coding