Ask before you close GitHub or VS Codespaces
< Feedback on CodeSpaces Close Confirmation
Could you consider adding *.vscode.dev to the script?
*.vscode.dev
Also, ViolentMonkey does not like the match pattern for github.dev. It gives the following error message:
github.dev
Bad pattern: missing "/" for path in https://*.github.dev https://violentmonkey.github.io/api/matching/
It wants a trailing /* after the tld. Changing the match pattern to the example below makes ViolentMonkey happy and the script work.
/*
// @match https://*.github.dev/*
Sign in to post a reply.
Could you consider adding
*.vscode.devto the script?Also, ViolentMonkey does not like the match pattern for
github.dev. It gives the following error message:It wants a trailing
/*after the tld. Changing the match pattern to the example below makes ViolentMonkey happy and the script work.