Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Hotkey for Dev Home Project Ironsides not documented #3339

Open
tpajenkamp opened this issue Jul 1, 2024 · 1 comment
Open

Hotkey for Dev Home Project Ironsides not documented #3339

tpajenkamp opened this issue Jul 1, 2024 · 1 comment
Assignees
Labels
Area-PI Related to Project Ironsides Issue-Docs Improvements or additions to documentation Priority-2

Comments

@tpajenkamp
Copy link

Provide a description of requested docs changes

A new autostart "Hotkey for Dev Home Project Ironsides" was randomly added to my PC. There is no explanation or documentation available what it is useful for and what it has to do with "hotkeys". I cannot even find any feature within Dev Home (unconfigured) that looks related to this.

@tpajenkamp tpajenkamp added the Issue-Docs Improvements or additions to documentation label Jul 1, 2024
@microsoft-github-policy-service microsoft-github-policy-service bot added the Needs-Triage New issue that the core contributors need to triage label Jul 1, 2024
@adrastogi adrastogi added the Area-PI Related to Project Ironsides label Jul 1, 2024
@adrastogi
Copy link
Contributor

adrastogi commented Jul 1, 2024

Tagging @andreww-msft / @timkur. Might help with #3304 as well?

@andreww-msft andreww-msft added Priority-2 and removed Needs-Triage New issue that the core contributors need to triage labels Jul 1, 2024
@andreww-msft andreww-msft self-assigned this Jul 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area-PI Related to Project Ironsides Issue-Docs Improvements or additions to documentation Priority-2
Projects
None yet
Development

No branches or pull requests

3 participants