Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add a favicon #23

Open
shepmaster opened this issue Jul 15, 2016 · 2 comments
Open

Add a favicon #23

shepmaster opened this issue Jul 15, 2016 · 2 comments
Labels
enhancement Something new the playground could do help wanted Not immediately going to be prioritized — ask for mentoring instructions!
Milestone

Comments

@shepmaster
Copy link
Member

Just to stop the silly 404s if nothing else.

@shepmaster shepmaster added the enhancement Something new the playground could do label Jul 15, 2016
@shepmaster shepmaster added the help wanted Not immediately going to be prioritized — ask for mentoring instructions! label Jul 31, 2016
@shepmaster shepmaster added this to the equivalence milestone Sep 14, 2016
@yerke
Copy link

yerke commented Jan 12, 2023

Since the playground is now served on https://play.rust-lang.org/, I think it's not unreasonable to have the official Rust icon. As a comparison (although probably not perfect one), https://blog.rust-lang.org/ and https://thanks.rust-lang.org/ have the same icon as https://www.rust-lang.org/.

According to https://foundation.rust-lang.org/policies/logo-policy-and-media-guide/, logo can be used for non-commercial uses without additional explicit approval.

What do you think @shepmaster? If you do prefer the explicit approval, I can reach out to the foundation lawyers on Zulip/email to get that approval.

As a reminder, there is also a PR to add a dedicated favicon shaped as "P" in #704 by @imjasonmiller.

@Rudxain
Copy link

Rudxain commented Jun 5, 2024

Is help wanted label still necessary? #704 seems done

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Something new the playground could do help wanted Not immediately going to be prioritized — ask for mentoring instructions!
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants