organization A repository for organizing the Agda GitHub organization itself. Discussions can be initiated as issue. There is a list of the repositories in the organization and the people responsible for each on the wiki.