A browser extension to generate nbgitpuller (http://jupyterhub.github.io/nbgitpullerbgitpuller) links directly from GitHub
nbgitpuller Link generator Extension
links directly from GitHub.
On the GitHub page for files, folders and repositories, it adds an
'nbgitpuller' button to the browser bar.
On clicking this, you can enter a JupyterHub URL and the application
you want to use to open this file, folder or repository. Then you
can just copy the nbgitpuller URL, and share it with your students!
The JupyterHub URL and application you choose are remembered, so
you do not need to enter it over and over again.
Source Manifest.json
Similar Extensions
Agency Toolchest 406 2 ★ 602KiB
Apiary - Web Highlighter & Annotator 406 0 ★ 1.51MiB
Tanuki Utilities 406 1 ★ 25.43KiB
HintEd Smart Manuals Editor 406 1 ★ 6.36MiB
uli 406 2 ★ 2.16MiB
Add to Benevolist.org Button 406 0 ★ 26.28KiB
Vind: Keyboard Shortcuts for Every Website 406 3 ★ 1.52MiB
All Find Seek 406 0 ★ 6.68KiB
Left Unread 406 4 ★ 25.15KiB
LumoSearch: Airbnb Review Summary & Search 406 2 ★ 49.99KiB
Krunch 406 2 ★ 218KiB
Twitter Reaction Counter 406 0 ★ 133KiB
GitHub PR images comparer 406 1 ★ 13.65KiB
Stop It Grandpa 406 2 ★ 10.67KiB
SyntheticEye AI Detector 406 3 ★ 29.8KiB
Twitter Intro Finder 406 2 ★ 376KiB
Naro 406 0 ★ 2.12MiB
ChatGPT Search Bar & Send With Command Enter 406 0 ★ 205KiB
Retaino 406 2 ★ 443KiB
Tweet creator 406 4 ★ 6.47MiB
Open tabs in order 406 2 ★ 7.0KiB
Serverless Workflow Editor for GitHub 406 1 ★ 101KiB
Clear Portal Cache 406 1 ★ 60.0KiB
GoldDust 406 1 ★ 9.56MiB
User reviews
Jan Kirenz (ID: 00000029b4f59a1b) Voted 5 ★ - Updated 08/05/2022