A repository for demonstrating GitHub integration on nextjournal.com - View it on GitHub