A utility for github issues-based workflow