devhomegithubextension
devhomegithubextension copied to clipboard
microsoft
Dev Home GitHub Extension
### Suggested new feature or improvement Currently the github extension grabs the 50 most recently updated repos for * User public repos * User private repos * Org private/public repos...
### Suggested new feature or improvement When filtering on github.com you can get URLs which are restful style: https://github.com/microsoft/vscode/labels/authentication As opposed to query style: https://github.com/microsoft/vscode/issues?q=is%3Aissue+is%3Aopen+label%3Aauthentication+ The restful style does not...
### Suggested new feature or improvement The GitHub app on iOS and Android has a widget that allows you to see your GitHub Contribution table pretty easily while on the...
### Suggested new feature or improvement Once the SDK changes are in main this extension needs to run automatic and manual tests to make sure their are no regressions. ###...
### Suggested new feature or improvement Once the SDK is in main, the samples need to be updated. ### Scenario N/A ### Additional details _No response_
### Suggested new feature or improvement A widget for when your PR is approved and not merged, you can quickly see ### Scenario _No response_ ### Additional details _No response_
### Suggested new feature or improvement Be made aware on your dashboard when a merge conflict happens ### Scenario _No response_ ### Additional details _No response_
### Suggested new feature or improvement I'd love to see a repository pulse widget with metrics like PRs opened, commits, issues opened, total downloads, stars, etc. ### Scenario Used to...
### Suggested new feature or improvement Currently, the Review Requested widget shows PRs with a request for review to both you directly and to teams you belong to. I'd like...
### Suggested new feature or improvement I'd like a single widget that has all of my unread github notifications. ### Scenario It would be used the same way as any...
