We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
I think it might be related to the issue described here, what I also noticed is the following:
Should I open a new issue for this scenario or is indeed covered on this one?
JupyterLab 3.0.15 JupyterLab-Git v0.30.1
Originally posted by @sidiney-crescencio in #843 (comment)
The text was updated successfully, but these errors were encountered:
Thanks for reporting the issue @sidiney-crescencio
I opened a new PR as this is not exactly the same use case as #843.
Sorry, something went wrong.
cc @navn-r
Refresh file browser on head change (jupyterlab#950)
6c9e906
HEAD
Refresh file browser on head change (#950) (#964)
4fd9052
Successfully merging a pull request may close this issue.
I think it might be related to the issue described here, what I also noticed is the following:
Should I open a new issue for this scenario or is indeed covered on this one?
JupyterLab 3.0.15
JupyterLab-Git v0.30.1
Originally posted by @sidiney-crescencio in #843 (comment)
The text was updated successfully, but these errors were encountered: