Utilities for GitHub Issues
Finds all users for a GitHub project and creates filter links to their issue queues. As a project manager for many projects which use GitHub, It makes my life easier to look at what issues are assigned to a particular user. GitHub issues does not have a UI for this, but you can craft a URL to show you a list of all issues assigned to a particular user. This extension crafts these URLs for you by turning your "Assigned to me" filter link into a dropdown of "Assigned to" links for each user of your project. ## Changelog 1.4: fixes to extension regarding manifest and changes to github DOM 1.3: fix an incorrect filename resulting in a bad install. 1.2: re-apply our changes after an XHR (which github tends to use a lot) 1.1: fixed issue where elements were added even if we didn't have a valid list of users to operate upon.