Skip to content

Commit de9fa34

Browse files
committed
chore: untrack workspace/pi gitlink (no .gitmodules)
workspace/pi was tracked as a gitlink (mode 160000) with no .gitmodules entry, causing actions/checkout post-cleanup to fail: 'No url found for submodule path workspace/pi in .gitmodules'. It is a local dev checkout (CI clones pi fresh at build time), so untrack it and add to .gitignore for consistency with the other workspace symlinks.
1 parent 710168a commit de9fa34

2 files changed

Lines changed: 3 additions & 1 deletion

File tree

.gitignore

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -52,3 +52,6 @@ __pycache__/
5252

5353
# Backup of all localpibox repos before rebase operations
5454
backup/
55+
56+
# Local Pi monorepo dev checkout — untracked (CI clones pi fresh at build time)
57+
workspace/pi/

workspace/pi

Lines changed: 0 additions & 1 deletion
This file was deleted.

0 commit comments

Comments
 (0)