Is there a way to use jupyterlab-git in the context of a shared project (e.g., though Binder), where contributions from users are not supported, and where any pulls should completely overwrite (and prune) local files? I know there are limited existing solutions for similar scenarios (e.g., nbgitpuller) but they create a layer (or more) of abstraction above Git, that results in the loss of information (e.g. jupyterlab-git effectively provides notification of remote changes).
Can I configure jupyterlab-git (or perhaps Git, behind the scenes) so that all pulls completely overwrite (and prune) local files, and pushes are prohibited?
