Zulip Chat Archive

Stream: general

Topic: Link to leanprover-community website from GitHub?


view this post on Zulip Kevin Buzzard (Apr 18 2020 at 18:28):

If I search for leanprover-community I quickly get directed to the GitHub page. But I usually want the community website at something dot io . Can we put a link to the website at the top of the GitHub page or is this not desirable/possible?

view this post on Zulip Kenny Lau (Apr 18 2020 at 18:29):

risky click of the day

view this post on Zulip Kevin Buzzard (Apr 18 2020 at 18:30):

Oops

view this post on Zulip Kevin Buzzard (Apr 18 2020 at 18:30):

I'm on an exercise bike and it'll be hard to change. Edit: changed

view this post on Zulip Johan Commelin (Apr 18 2020 at 18:35):

Like this image.png

view this post on Zulip Johan Commelin (Apr 18 2020 at 18:36):

Screenshot from the top of: https://github.com/leanprover-community/mathlib

view this post on Zulip Kevin Buzzard (Apr 18 2020 at 19:05):

And I am pretty sure we have one for the perfectoid project too


Last updated: May 12 2021 at 04:19 UTC