Skip to content

Commit 90a87eb

Browse files
md file
1 parent e9a0544 commit 90a87eb

File tree

1 file changed

+15
-0
lines changed

1 file changed

+15
-0
lines changed
Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
2+
3+
---
4+
# High Level Context
5+
## context
6+
This Markdown file describes a VS Code extension command called "Clear Dev-Docs Tokens" (command ID: devdocs.resetTokens). The command is used to clear locally stored authentication tokens for the Dev-Docs Cloud service. The document explains:
7+
8+
1. What the command does: Removes GitHub access and refresh tokens used for Dev-Docs authentication.
9+
2. Why to use it: For signing out, handling token expiration, switching accounts, or troubleshooting.
10+
3. Prerequisites: Previous authentication with Dev-Docs Cloud service.
11+
4. How to use the command: Through the VS Code Command Palette or the Dev-Docs view in the Activity Bar.
12+
13+
The file provides context for when and why a user might want to clear their Dev-Docs tokens, and gives step-by-step instructions on how to execute the command within VS Code. It's part of the documentation for a VS Code extension that integrates with the Dev-Docs Cloud service.
14+
15+

0 commit comments

Comments
 (0)