Mirrored from GitHub organization: doldecomp
Create a project to coordinate issues and pull requests.