Proposal: "people/" subdirectory of set.mm for contributor avatars

39 views
Skip to first unread message

David A. Wheeler

unread,
Oct 1, 2019, 9:22:02 PM10/1/19
to metamath
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

Jim Kingdon

unread,
Oct 2, 2019, 12:07:46 PM10/2/19
to David A. Wheeler, metamath
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?

David A. Wheeler

unread,
Oct 2, 2019, 12:47:59 PM10/2/19
to metamath, metamath
On Wed, 02 Oct 2019 09:07:38 -0700, Jim Kingdon <kin...@panix.com> wrote:
> 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?

Correct, the files are small.

Also, git only stores copies of files when they *change*, and these
files would almost never change. So even though the "people/" directory
would be included in each later version of set.mm,
it wouldn't take significant additional space.

--- David A. Wheeler
Reply all
Reply to author
Forward
0 new messages