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 non-github repo for graph-tool #60

Merged
merged 3 commits into from
Mar 2, 2020
Merged

Add non-github repo for graph-tool #60

merged 3 commits into from
Mar 2, 2020

Conversation

jbednar
Copy link
Member

@jbednar jbednar commented Mar 2, 2020

Attempt to add graph-tool, even though it has no Github repo (see #59). There will probably be some broken image links (e.g. no github stars), but maybe it will otherwise work? We'll see what happens at https://pyviz-dev.github.io/website/tools.html

@jbednar jbednar changed the title Gt Add non-github repo for graph-tool Mar 2, 2020
@jbednar
Copy link
Member Author

jbednar commented Mar 2, 2020

Looks like it works about as well as can be expected:

image

I.e., links that point to github don't work, but the rest are fine. I'll go ahead and merge this as better than nothing, as it does at least allow listing graph-tool in the overall page format. I'll leave #59 open and add comments there for anyone who wants to improve what happens for this case.

@jbednar jbednar merged commit 1da437e into master Mar 2, 2020
@jbednar jbednar mentioned this pull request Mar 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant