Move GitHub repos panel to react (#638)

Co-authored-by: Steve Faulkner <southpolesteve@gmail.com>
This commit is contained in:
vaidankarswapnil
2021-05-04 06:26:47 +05:30
committed by GitHub
parent 4efacace16
commit 038f3ee684
17 changed files with 6231 additions and 203 deletions

View File

@@ -607,7 +607,7 @@ export class ResourceTreeAdapter implements ReactAdapter {
gitHubNotebooksTree.contextMenu = [
{
label: "Manage GitHub settings",
onClick: () => this.container.gitHubReposPane.open(),
onClick: () => this.container.openGitHubReposPanel("Manage GitHub settings"),
},
{
label: "Disconnect from GitHub",