Merge pull request #13837 from Cylix/github-team-pull-requests
plugin-github-pull-requests-board: Add a new "Team" Filter Options to the Github Pull Requests Dashboard.
This commit is contained in:
plugin-github-pull-requests-board: Add a new "Team" Filter Options to the Github Pull Requests Dashboard.