Skip to content

chore: Remove misplaced git workshop repo reference#15846

Merged
christopherco merged 1 commit intomicrosoft:tomls/base/mainfrom
dmcilvaney:damcilva/fix_workshop
Feb 14, 2026
Merged

chore: Remove misplaced git workshop repo reference#15846
christopherco merged 1 commit intomicrosoft:tomls/base/mainfrom
dmcilvaney:damcilva/fix_workshop

Conversation

@dmcilvaney
Copy link
Contributor

Remove "submodule"

Copilot AI review requested due to automatic review settings February 14, 2026 00:09
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Removes an accidental/misplaced Git submodule (gitlink) reference at the repository root (workshop), aligning the repo contents with the intent to not track that external workshop repo.

Changes:

  • Delete the workshop gitlink entry that pointed to a specific submodule commit.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@christopherco christopherco merged commit 0aaa657 into microsoft:tomls/base/main Feb 14, 2026
12 checks passed
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