Remove digraphs-lib (the Digraphs library) from this repo#848
Merged
Conversation
wilfwilson
added
the
website
wilfwilson
force-pushed
the
remove-digraphs-lib
branch
from
0e0b9e8 to
560584a
Compare
wilfwilson
changed the title
digraphs-lib/Digraphs library from this repodigraphs-lib (Digraphs library) from this repo
wilfwilson
changed the title
digraphs-lib (Digraphs library) from this repodigraphs-lib (the Digraphs library) from this repo
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This addresses #823.
I've made a separate repo for the Digraphs library at https://github.com/digraphs/digraphs-lib, which you can clone, or you can download versioned release tarballs, or you can read the README.
We should keep this pull request open for a while until #847 has been merged and has made its way at least into
main, and also to given a people chance to update their working branches with this change too, before I break old versions of the CI from working.The old digraphs-lib tarballs will still exist in the git repo's history however, bloating the repository by 100MB or more, unless we edit the history of the
gh-pagesbranch to remove any trace of these tarballs. I'm not sure whether that's a good idea or not.