Shameless plug, but with Nextjournal you can use git directly: https://github.nextjournal.com/
And apart from that, we have a normal github component to load your code from a github repository: https://nextjournal.com/help/github
And apart from that, we have a normal github component to load your code from a github repository: https://nextjournal.com/help/github
No comments yet.