The org logo looks bad on dark themes

[ncfavier]

Poor Agda the Hen looks all grim on dark backgrounds.

Can you please make the background non-transparent? Suggestion:

[andreasabel]

As my background is white, I cannot see the suggestion... ;-)

[ncfavier]

It's just a black-on-white Agda. Maybe the image didn't load for you? Here it is again at a different host: https://f.monade.li/VJxq3k.png

[ncfavier]

I'd have PR'd this if I could, but I'm talking about the GitHub organisation logo, not something in the repo.

[andreasabel]

@UlfNorell : (Where) do we host the sources and renderings of the logo in our repos? If we don't have such a place, I think it is good to add one. I suggest we make a agda/admin repo to host documents that concern the agda organization.

P.S.: I found https://github.com/agda/agda/blob/master/doc/user-manual/agda.svg but I suppose this isn't the one to be changed for this issue. (?)

[ncfavier]

The SVG could be made to have a white background instead of transparent, but this is orthogonal to this issue: what needs to be changed is the GitHub organisation logo (I'm assuming it's in Settings → Profile).