I just lost quite some time trying to push to #69 to fix up the lint errors before merging. It seems that while the PR author agreed maintainers to modify it:
It looks that github rejects my edits when pushed from local repo. This is strange as I can push via GitHub UI. I believe it is related to this repository being a fork and the PR fork being associated with jwkvam/jupyterlab-vim rather than jupyterlab-contrib/jupyterlab-vim.
I just lost quite some time trying to push to #69 to fix up the lint errors before merging. It seems that while the PR author agreed maintainers to modify it:
It looks that github rejects my edits when pushed from local repo. This is strange as I can push via GitHub UI. I believe it is related to this repository being a fork and the PR fork being associated with
jwkvam/jupyterlab-vim
rather thanjupyterlab-contrib/jupyterlab-vim
.