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.
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.