GitHub issues and PR often share same attributes such as assignee, urgency and other labels. Is there a good solution, server or front-end based to synchronize those? At the
