Skip to content

Fix malformed submodule URL in .gitmodules#4

Merged
liamjdavis merged 2 commits intomainfrom
copilot/fix-submodule-url-issue
Feb 15, 2026
Merged

Fix malformed submodule URL in .gitmodules#4
liamjdavis merged 2 commits intomainfrom
copilot/fix-submodule-url-issue

Conversation

Copy link
Contributor

Copilot AI commented Feb 15, 2026

The erdos-graph submodule URL contained an extra / after github.com: which prevented submodule initialization and broke the automated update workflow.

Changes

  • Corrected SSH URL format in .gitmodules:
    - url = git@github.com:/erdos-network/erdos-graph.git
    + url = git@github.com:erdos-network/erdos-graph.git
Original prompt

Fix Submodule Configuration

The .gitmodules file contains a malformed URL for the erdos-graph submodule that prevents proper initialization.

Changes Required

Fix the submodule URL in .gitmodules:

  • Current: url = git@github.com:/erdos-network/erdos-graph.git
  • Should be: url = git@github.com:erdos-network/erdos-graph.git

Remove the extra colon after github.com in the URL.

Context

The malformed URL causes submodule operations to fail. This is preventing the automated submodule update workflow from the erdos-graph repository from working correctly.

This pull request was created from Copilot chat.


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Co-authored-by: liamjdavis <66973153+liamjdavis@users.noreply.github.com>
Copilot AI changed the title [WIP] Fix malformed submodule URL in .gitmodules Fix malformed submodule URL in .gitmodules Feb 15, 2026
Copilot AI requested a review from liamjdavis February 15, 2026 22:33
@liamjdavis liamjdavis marked this pull request as ready for review February 15, 2026 22:33
@liamjdavis liamjdavis merged commit c27002f into main Feb 15, 2026
1 check passed
@liamjdavis liamjdavis deleted the copilot/fix-submodule-url-issue branch February 15, 2026 22:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants