A simple repository for testing synchronising GitHub and an internal Git server