Benjamin Christopher Simmonds
Benjamin Christopher Simmonds
When creating a PR with a description, the topmost comment node in the PR overview should contain the description but is empty. After reloading the text appears. ![Recording 2022-08-10 at...
For the GitHub notifications we need an indication of a notification belonging to a PR in addition to the highlighted color. Here are two examples for right aligned notification badges:...
- [x] Continue - [x] Run Once - [x] Transform - [x] Load - [x] Save - [x] Profile - [x] Accuracy Report - [x] Verification - [x] GPU ->...
It would be nice to be able to right click a comment in the comments panel to resolve it. This is especially useful when the file got deleted in which...
I would like to request a new filter in addition to "Toggle Resolved Comments" and "Show Unresolved Comments." This filter would hide all comment threads in the panel where I...
Each PR title which was generated from Copilot today, surrounded the title with "quotes". Ideally, the post processing would remove it. 
The first time I opened the Profiles Editor, it only showed the `New Profile` Button and nothing else for around 6-8 seconds. I would have at least expected it to...
## Description Expected the following original and modified lines to be matched with each other: - Original: `protected abstract createModel(user: string, view: ISpliceable, options: IAbstractTreeOptions): ITreeModel;` - Modified: `protected abstract...
There does not seem to be any documentation regarding the do not disturb mode. The only thing I m able to find is the release notes. Might be worth adding...
Makes sure there is not letter infront of the `SG` prefix for send grid api keys fixes https://github.com/secretlint/secretlint/issues/1076