Skip to content

fix: change dev submodule URL from SSH to HTTPS for CI - #16

Merged
patchmemory merged 1 commit into
mainfrom
chore/e2e-docs-and-planning-2026-01-12
Jan 13, 2026
Merged

fix: change dev submodule URL from SSH to HTTPS for CI#16
patchmemory merged 1 commit into
mainfrom
chore/e2e-docs-and-planning-2026-01-12

Conversation

@patchmemory

Copy link
Copy Markdown
Owner

Summary

Fix the dev submodule sync workflow failure by changing the submodule URL from SSH to HTTPS.

Problem

The sync-dev-submodule-on-main job was failing with:

git@github.com: Permission denied (publickey).
fatal: Could not read from remote repository.

GitHub Actions doesn't have SSH keys configured by default, but it does have GITHUB_TOKEN which works with HTTPS URLs automatically.

Solution

Changed .gitmodules from:

  • url = git@github.com:patchmemory/scidk-dev.git
  • url = https://github.com/patchmemory/scidk-dev.git

Test plan

  • CI passes (specifically the sync-dev-submodule-on-main job)

🤖 Generated with Claude Code

GitHub Actions doesn't have SSH keys by default, so the submodule
clone was failing. HTTPS works with the GITHUB_TOKEN automatically.

Fixes sync-dev-submodule-on-main job failure.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
@patchmemory
patchmemory merged commit 716665f into main Jan 13, 2026
4 checks passed
@patchmemory
patchmemory deleted the chore/e2e-docs-and-planning-2026-01-12 branch January 13, 2026 19:07
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.

1 participant