Save Jupyter notebook changes in GitLab repository

Problem to solve

With https://gitlab.com/gitlab-org/gitlab-ce/issues/47138 users will be able to see and use repository contents inside their Jupyter notebook and push changes from Jupyter to GitLab. However when the GitLab repo contents are updated outside Jupyter, these changes will not be reflected in Jupyter (unless the extension is removed and reloaded)

Further details

Proposal

When user makes changes to the GitLab repo contents, Jupyter will display updated repo contents.

• How often to check for repo updates?
• How to handle merge conflicts?

Permissions and Security

Documentation

What does success look like, and how can we measure that?

Links / references