Tools for GitHub issue and milestone consolidation across projects.