Closed mkborregaard closed 3 years ago
I've kept all of your text except the bit where you say that the only thing this package really cares about is Diversity.jl
Again, the errors seem to be from the grandparent, so apart from the routes.md
issue above I think this is good to merge too.
@mkborregaard So, do you want to just delete those routes-that-aren't routes and merge this to reduce the complexity of the PR chain?
Yeah I've actually done everything you asked but something seems to have gone wrong during the rebases. However the final version works, so let me just merge.
Totals | |
---|---|
Change from base Build 1341944170: | 2.003% |
Covered Lines: | 1275 |
Relevant Lines: | 2168 |
Richard, could you take a look at whether you are OK with me taking the docs this way? Maybe we could just merge all these tomorrow, then you can judge by looking at the docs -they this is of course in principle WIP. I'd like to move forward with this in preparation of the course.