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
Copy file name to clipboardExpand all lines: package.json
+17
Original file line number
Diff line number
Diff line change
@@ -45,6 +45,11 @@
45
45
"configuration": {
46
46
"title": "OpenJDK Development",
47
47
"properties": {
48
+
"openjdkDevel.github.username": {
49
+
"type": "string",
50
+
"default": "",
51
+
"markdownDescription": "Your GitHub user name"
52
+
},
48
53
"openjdkDevel.github.apiToken": {
49
54
"type": "string",
50
55
"default": "",
@@ -68,7 +73,13 @@
68
73
"command": "openjdkDevel.setGithubToken",
69
74
"title": "Setup GitHub API Token",
70
75
"category": "JDK Development"
76
+
},
77
+
{
78
+
"command": "openjdkDevel.setGithubUsername",
79
+
"title": "Setup GitHub username",
80
+
"category": "JDK Development"
71
81
}
82
+
72
83
],
73
84
"menus": {
74
85
"commandPalette": [
@@ -108,7 +119,13 @@
108
119
"view": "gitHubIntegration",
109
120
"contents": "In order to use the GitHub integration, you need to specify a GitHub API token.\n[Setup GitHub token](command:openjdkDevel.setGithubToken)",
"contents": "In order to use the GitHub integration, you need to specify a GitHub user name.\n[Setup GitHub user name](command:openjdkDevel.setGithubUsername)",
0 commit comments