Re #188, hide the sign in and refresh command, it's for internal use.

Andreia Gaita · Andreia Gaita · commit 8356f1044552 · 2018-08-21T20:17:14.000+02:00
diff --git a/package.json b/package.json
@@ -190,6 +190,10 @@
         {
           "command": "pr.signin",
           "when": "config.git.enabled && github:hasGitHubRemotes"
+        },
+        {
+          "command": "pr.signinAndRefreshList",
+          "when": "false"
         }
       ],
       "view/title": [

Original file line number	Diff line number	Diff line change
`@@ -190,6 +190,10 @@`
`190`	`190`	`{`
`191`	`191`	`"command": "pr.signin",`
`192`	`192`	`"when": "config.git.enabled && github:hasGitHubRemotes"`
	`193`	`+ },`
	`194`	`+ {`
	`195`	`+ "command": "pr.signinAndRefreshList",`
	`196`	`+ "when": "false"`
`193`	`197`	`}`
`194`	`198`	`],`
`195`	`199`	`"view/title": [`