Skip to content
New issue

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

Handle multiple repos and/or git modules #1355

Open
jtpio opened this issue Oct 10, 2024 · 0 comments
Open

Handle multiple repos and/or git modules #1355

jtpio opened this issue Oct 10, 2024 · 0 comments

Comments

@jtpio
Copy link
Member

jtpio commented Oct 10, 2024

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

JupyterLab git does not show any information about other repos listed in a .gitmodules file.

For example https://github.com/denoland/deno defines a .gitmodules file with the following content:

[submodule "tests/util/std"]
	path = tests/util/std
	url = https://github.com/denoland/deno_std
	shallow = true
[submodule "tests/wpt/suite"]
	path = tests/wpt/suite
	url = https://github.com/web-platform-tests/wpt.git
	shallow = true
[submodule "tests/node_compat/runner/suite"]
	path = tests/node_compat/runner/suite
	url = https://github.com/denoland/node_test.git
	shallow = true
[submodule "cli/bench/testdata/lsp_benchdata"]
	path = cli/bench/testdata/lsp_benchdata
	url = https://github.com/denoland/deno_lsp_benchdata.git
	shallow = true

If I do the following:

  • git clone https://github.com/denoland/deno
  • cd deno
  • git submodule init
  • git submodule update

The JupyterLab Git UI does not show anything about these modules from the top-level:

image

But if you navigate to one of the submodules then the UI detects the repo properly:

image

Describe the solution you'd like

Something like what VS Code does could be useful:

image

Describe alternatives you've considered

N/A

Additional context

  • Python package version: 0.50.1
  • Extension version: 0.50.1
  • Git version: 2.43.0
  • Operating System and its version: All
@jtpio jtpio changed the title Handle multiple repos and / or git modules Handle multiple repos and/or git modules Oct 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant