devhomegithubextension
devhomegithubextension copied to clipboard
microsoft
Dev Home GitHub Extension
As @manodasanW figured out, the use of version-specific RIDs and the associated workaround will no longer be needed once there's a new version of the Dev Home SDK and the...
### Suggested new feature or improvement Provide a Codespaces widget that lists all of my Codespaces and provides options to connect, stop, delete, create, change name etc. ### Scenario Would...
### Dev Home version 0.1200.466.0 (GH extension) ### Windows build number _No response_ ### Other software _No response_ ### Steps to reproduce the bug Fork an org's repository and make...
## Summary of the pull request Upgrades all of the projects to .NET 8 and handles the code analysis errors that come with that. ## References and relevant issues Opened:...
### Suggested new feature or improvement LibGit2Sharp does not clone LFS files by default. A workaround needs to be made. Seems like a [workaround](https://github.com/libgit2/libgit2sharp/issues/1236) is here. ### Scenario Whenever an...
### Suggested new feature or improvement We should have more notification settings for the GitHub notifications. ### Scenario This can help us add additional notification parameters with the ability for...
### Suggested new feature or improvement Org repos are not relevant to the user as the returned list is a list of most recently updated repos and does not take...
### Dev Home version _No response_ ### Windows build number _No response_ ### Other software _No response_ ### Steps to reproduce the bug Create many widgets, wait and observe log....
### Dev Home version 0.1100.409.0 (extension version) ### Windows build number _No response_ ### Other software _No response_ ### Steps to reproduce the bug Pin the Review Requested widget Click...