A small testing repository for the Github web interface