Profile pictures for github bots

Stream: general

[Yaël Dillies]

I really like Bhavik's logo, yes!

[Eric Wieser]

So right now we have:

• https://github.com/leanprover-community-bot (forall)
• https://github.com/leanprover-community-bot-assistant (exists)
• https://github.com/mathlib-dependent-issues-bot (no avatar)
• https://github.com/leanprover-community (no avatar)

[Mario Carneiro]

by the way the black forall/exists logos are not good for people using dark mode

[Eric Wieser]

I think they work fine in dark mode everywhere but the profile, but maybe I'm misremembering

[Eric Wieser]

In an issue comment, they appear as
image.png

[Eric Wieser]

Which is marginally less bad than

image.png