Skip to content

Git - remove the ignore sources setting as it is now merged into the sources setting#240635

Merged
lszomoru merged 1 commit intomainfrom
lszomoru/cooperative-swordfish
Feb 13, 2025
Merged

Git - remove the ignore sources setting as it is now merged into the sources setting#240635
lszomoru merged 1 commit intomainfrom
lszomoru/cooperative-swordfish

Conversation

@lszomoru
Copy link
Copy Markdown
Member

Related #240245

@lszomoru lszomoru self-assigned this Feb 13, 2025
@lszomoru lszomoru enabled auto-merge (squash) February 13, 2025 10:39
@lszomoru lszomoru added the git GIT issues label Feb 13, 2025
@lszomoru lszomoru added this to the February 2025 milestone Feb 13, 2025
@lszomoru lszomoru merged commit 3d38061 into main Feb 13, 2025
@lszomoru lszomoru deleted the lszomoru/cooperative-swordfish branch February 13, 2025 11:15
@vs-code-engineering vs-code-engineering bot locked and limited conversation to collaborators Mar 30, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

git GIT issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants