Seems like a good plan. I assume the file size on these are fairly small, so there's no particular need to think in terms of, say, a separate repository or something even more fancy like git-lfs?
On October 1, 2019 6:22:01 PM PDT, "David A. Wheeler" <[email protected]> wrote: >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. -- 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/13833D2A-6EA9-4B18-91B1-8EF86D3ABDF9%40panix.com.
