GitHub repository: tdresearchgroup/ProjectMiner
Description: A quick set of java tools to mine github repositories for design-related tickets