The Git repository for the development and design of Designverk