Add push notifications on updates to a repository

Is your feature request related to a problem? Please describe.

In a collaborative environment, where two or more people are working on a shared notebook (or any other document), it will be useful to know when there are updates done on that notebook by others and pull those changes.

Describe the solution you’d like

Github PR shows a “Refresh” button in PRs and Confluence has a “Reload Page” notification for such scenarios - a similar toast and/or notification on the sidebar can help (not sure this is the right UX). To be clear, we would fetching for updates (to raise notifications) and apply those changes only upon confirmation from the user.

Describe alternatives you’ve considered

None

[andrewfulton9]

@KrishnaKumarHariprasannan, I’ve been working on this in a branch on my fork.

So far I have:

• added remote changes section
• filled remote changes section with files that have changed on remote branch
• added B status symbol next to file to show that it is behind on local repo.

I am wondering on what people’s thoughts are for what available options for the files in the remote section should be. Currently I just have it so that a user can open the local version of the file. I was thinking on adding the capability to checkout the remote file into the current branch, raising a warning if there are local changes that would be overwritten, and also to see the diff between the remote file and the local file.

[andrewfulton9]

Thanks @fcollonval! I added draft PR #962.