Tool for navigating between projects and its github issues/pull-request