You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
egekorkan
added
Tooling
topics around tooling for the specification
and removed
needs-triage
Automatically added to new issues. TF should triage them with proper labels
labels
Feb 12, 2025
VS Code Plugin actually looks for the different alternatives (see https://github.com/microsoft/vscode-pull-request-github/pull/1283/files) but GitHub itself does not. I will make a PR to move the template one level up, meaning that we will have that as the default. Since we have only one anyways, it should not matter. If there are more in the future, we can turn the default template to have two links inside, which will append a query parameter to the URL at the top. Nice that they advertise the feature themselves but without an integration to their main UI since 5+ years...
The PR template showed up in my vs code environment but not in the GitHub Web UI. We do have it at https://github.com/w3c/wot-thing-description/blob/main/.github/PULL_REQUEST_TEMPLATE/basic.md . Anyone has an idea why it is not working?
The text was updated successfully, but these errors were encountered: