a power tool for batch processing multiple github repositories