Support loading files from GitHub repositories - #218

Merged

thomashoneyman merged 12 commits into

load-from-github

May 25, 2021

Commits on May 25, 2021

Support loading examples from GitHub repositories
thomashoneyman
committed
ab89ad0
Use SourceFile instead of multiple ids
thomashoneyman
committed
08e315a
Add support for GitHub links
thomashoneyman
committed
784262c
Tweak support for GitHub links
thomashoneyman
committed
1363393
Add all example files
thomashoneyman
committed
9c7b233
Update package set
thomashoneyman
committed
a543a1b
Update main example with new links
thomashoneyman
committed
a704404
Use tag in config
thomashoneyman
committed
6d77ab7
Fix generics example
thomashoneyman
committed
4b446f2
Update main example to describe GitHub loading
thomashoneyman
committed
8b5f99a
Address feedback
thomashoneyman
committed
cd313a8
Update readme instructions for tags
thomashoneyman
committed
146a6c5