This is just a quick post to point out that I’ve just updated the contributors file. Please let the Stacks project maintainer (currently me) know if you should be there and you’re not, or if I spelled your name wrong, or if you want your name removed. If you want to learn more precisely who did what you have to look at the commit log and you actually have to look into the commits themselves to see who is thanked for what. A quicker way, if you have a question about this, is to email me and ask.
There are lot’s of things you can do to get onto this list. A suggestion is to browse the project online and find typos/errors and leave a comment on the site. You can also leave comments with an imaginary name, e.g., I think that Levi Civita once send me a suggestion. Be creative. Thanks!