Skip to content

try to reduce chance of duplicate headers#231982

Merged
andreamah merged 1 commit intomainfrom
testy-goat
Oct 23, 2024
Merged

try to reduce chance of duplicate headers#231982
andreamah merged 1 commit intomainfrom
testy-goat

Conversation

@andreamah
Copy link
Copy Markdown
Contributor

@andreamah andreamah commented Oct 22, 2024

There is occasionally a race condition that causes duplicate headers. Trying to have a more steadfast way to reduce the chance of it.

image

@andreamah andreamah self-assigned this Oct 22, 2024
@andreamah andreamah enabled auto-merge October 22, 2024 23:46
@andreamah andreamah changed the title try to reduce duplicate headers try to reduce chance of duplicate headers Oct 22, 2024
@vs-code-engineering vs-code-engineering bot added this to the October 2024 milestone Oct 22, 2024
@andreamah andreamah merged commit 136762c into main Oct 23, 2024
@andreamah andreamah deleted the testy-goat branch October 23, 2024 00:06
@vs-code-engineering vs-code-engineering bot locked and limited conversation to collaborators Dec 7, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants