Giter VIP home page Giter VIP logo

nbgitpuller's Introduction

nbgitpuller

Binder

One-way synchronization of a remote git repository to a local git repository, with automatic conflict resolution.

nbgitpuller demo

Installation

You can install nbgitpuller from PyPI.

pip install nbgitpuller

You can then enable the serverextension

jupyter serverextension enable --py nbgitpuller --sys-prefix

What is it?

nbgitpuller allows you to construct a URL that points to a remote git repository. When it is clicked, nbgitpuller will pull the contents of this repository into the user's current folder within Jupyter, while rendering a nice status page. This is especially useful when running on a JupyterHub, since it allows easy distribution of materials to users without requiring them to understand git.

Merging behavior

When a link is clicked, we try to make opinionated intelligent guesses on how to do a merge automatically, without making the user do a conflict resolution. nbgitpuller is designed to be used by folks who do not know that git is being used underneath, and are only pulling content one way from a source and modifying it - not pushing it back. So we have made the following opinionated decisions.

  1. If content has changed in both places, prefer local changes over remote changes.
  2. If a file was deleted locally but present in the remote, remote file is restored to local repository. This allows users to get a 'fresh copy' of a file by just deleting the file locally & clicking the link again.
  3. If a file exists locally but is untracked by git (maybe someone uploaded it manually), then rename the file, and pull in remote copy.

When to use / not use nbgitpuller

You should use this when:

  1. You are running a JupyterHub for a class & want an easy way to distribute materials to your students without them having to understand what git is.
  2. You have a different out of band method for collecting completed assignments / notebooks from students, since they can not just 'push it back' via git.

You should not use this when:

  1. You are an instructor using a JupyterHub / running notebooks locally to create materials and push them to a git repository. You should just use git directly, since the assumptions and design of nbgitpuller will surprise you in unexpected ways if you are pushing with git but pulling with nbgitpuller.
  2. Your students are performing manual git operations on the git repository cloned as well as using nbgitpuller. Mixing manual git operations + automatic nbgitpuller operations is going to cause surprises on an ongoing basis, and should be avoided.

Constructing the nbgitpuller URL

Launch this Binder for an interactive link generator Binder

You can construct a working nbgitpuller URL like this:

myjupyterhub.org/hub/user-redirect/git-pull?repo=<your-repo-url>&branch=<your-branch-name>&subPath=<subPath>&app=<notebook | lab>
  • repo is the URL of the git repository you want to clone. This parameter is required.
  • branch is the branch name to use when cloning from the repository. This parameter is optional and defaults to master.
  • subPath is the path of the directory / notebook inside the repo to launch after cloning. This parameter is optional, and defaults to opening the base directory of the linked Git repository.
  • app This parameter is optional and defaults to either the environment variable NBGITPULLER_APP's value or notebook if it is undefined. The allowed values are lab and notebook, the value will determine in what application view you end up in.
  • urlPath will, if specified, override app and subPath and redirect blindly to the specified path.

Local development

You can easily set up to develop this locally, without requiring a JupyterHub. It requires python3.

  1. Clone this repository

    git clone https://github.com/data-8/nbgitpuller
    
  2. Change into it and create a virtual environment

    cd nbgitpuller
    python3 -m venv .
    
  3. Install it with symlinks, so you can easily play with it.

    pip install -e .
    
  4. Enable the jupyter notebook server extension. This provides the git-pull URL handlers.

    jupyter serverextension enable --sys-prefix nbgitpuller
    
  5. Run a jupyter notebook locally!

    jupyter notebook
    
  6. Construct a nbgitpuller URL exactly like you would for a hub, but instead of prefixing it with myjupyterhub.org/hub/user-redirect, just use localhost:8888 or whatever the url of your running notebook is. For example, the following URL would pull down a repo:

    localhost:8888/git-pull?repo=https://github.com/data-8/materials-fa17
    
  7. Make the changes you want to make, and restart the jupyter notebook for them to take effect.

Using the command line interface

It is also possible to use nbgitpuller from the command line. For example, here's how to synchronize the repository listed above using the command line:

gitpuller https://github.com/data-8/materials-fa17 master my_materials_fa17

This will synchronize the master branch of the repository to a folder called my_materials_fa17.

See the command line help for more information.

nbgitpuller's People

Contributors

yuvipanda avatar saladraider avatar consideratio avatar ryanlovett avatar choldgraf avatar fvd avatar ogrisel avatar znicholls avatar

Watchers

Sigurður Baldursson avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.