Learning to host a trivial package repository on github, supplementing my personal linux configuration