a demo repository for experimenting with GitHub