a
/
code-server
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #3026 from cdr/jsjoeio/ranger-upstream 

dev(ranger): add action for upstream issues
This commit is contained in:
repo-ranger[bot] 2021-04-03 00:00:01 +00:00 committed by GitHub
parent 3fce14fd56 e64608abcb
commit ea0334f008
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/ranger.yml vendored
View File

@ -37,3 +37,11 @@ labels:
new requests for extension requests. We suggest installing the VSIX
file and then installing into code-server as a temporary workaround.
See [docs](https://github.com/cdr/code-server/blob/main/docs/FAQ.md#installing-vsix-extensions-via-the-command-line) for more info."
"upstream:vscode":
action: close-faster
delay: 5s
comment: >
This issue has been marked as 'upstream:vscode'.
Please file this upstream: [link to open issue](https://github.com/microsoft/vscode/issues/new/choose)"
This issue will automatically close in $DELAY.