A repository for the #CivHackKHI event