I propose that set.mm gain a "people/" subdirectory where we can store avatars for contributors (where that's okay with the contributor). The filenames would be of the person's name (which could be an alias like Drahflow).
That means that filenames would have single quotes (O'Cat) and accents, but nowadays that should cause no problems. I'm currently trying to do this by hand, but it's a pain & I want to make sure that the process is reproducible by others later. If we do this, whatever avatars people have approved of (if any) will be used where one is desired (e.g., in a Gource view). In particular this will mean that site failures won't lead to overall failures. I'm going to assume that if you've made an avatar on GitHub you're okay with sharing that (since you selected it & they are always public). Please let me know if you'd be okay or not okay with that; I do *not* want to reveal personal information of someone if that's unacceptable to that person. Thanks! --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1iFTL7-0008Ta-AR%40rmmprod07.runbox.
