Customization of the GitHub JupyterLab extension

You can set the plugin so that it starts showing a particular repository at launch time. Open the Advanced Settings editor in the Settings menu. Then, under the GitHub settings, add with the help of the following command:

{"defaultRepo": "owner/repository"}

In the preceding command, owner is the GitHub user/organization and repository is the name of the repository you want to open.

..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset
18.222.120.133