Skip to content

chore: remove unintended DevPath-Web submodule#584

Merged
Aditya948351 merged 1 commit into
masterfrom
chore/remove-submodule
Jun 11, 2026
Merged

chore: remove unintended DevPath-Web submodule#584
Aditya948351 merged 1 commit into
masterfrom
chore/remove-submodule

Conversation

@Aditya948351

@Aditya948351 Aditya948351 commented Jun 11, 2026

Copy link
Copy Markdown
Collaborator

This PR removes the DevPath-Web directory which was accidentally tracked as a Git submodule (indicated by the arrow icon on GitHub).

Copilot AI review requested due to automatic review settings June 11, 2026 12:17

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull request overview

This PR removes an accidentally tracked DevPath-Web/ Git submodule from the repository so the project no longer contains (or points to) an unintended nested repo/submodule entry.

Changes:

  • Removed the unintended DevPath-Web/ submodule entry/directory from the repo.

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

@Aditya948351 Aditya948351 merged commit d0d38dd into master Jun 11, 2026
5 checks passed
@Aditya948351 Aditya948351 deleted the chore/remove-submodule branch June 11, 2026 12:20
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.

3 participants