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.

Sign up for GitHub

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

Jump to bottom

tweet cards like in the docs #131

Open
robertylewis opened this issue Sep 24, 2020 · 2 comments
Open

tweet cards like in the docs #131

robertylewis opened this issue Sep 24, 2020 · 2 comments

Comments

@robertylewis
Copy link
Member

@alexpeattie added a nice feature on the docs pages that makes them look pretty on Twitter: leanprover-community/doc-gen#71

We should port that to the main site in some way.
@PatrickMassot
Copy link
Member

I'm sorry I don't understand what you mean.

@robertylewis
Copy link
Member Author

Alex's PR to the docs pages added meta-info that gives you a nice logo and preview when you link from Twitter.

These work on a page-by-page basis. If we add similar meta tags to the pages here, we'll get similar pretty Twitter links.

This is not high priority.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@robertylewis @PatrickMassot