Tools for Github issue and milestone consolidation across projects.