Branch list is not updated after a branch is deleted#1096

Merged

fcollonval merged 2 commits intojupyterlab:masterfrom fcollonval:fix/Branch-list-is-not-updated-after-a-branch-is-deleted

Mar 23, 2022

+44-8

Commits on Mar 23, 2022