Skip to content

Better logic around what a User Initiated Message is#3350

Merged
TylerLeonhardt merged 3 commits intorelease/0.37from
tyler/familiar-coyote
Jan 31, 2026
Merged

Better logic around what a User Initiated Message is#3350
TylerLeonhardt merged 3 commits intorelease/0.37from
tyler/familiar-coyote

Conversation

@TylerLeonhardt
Copy link
Member

@TylerLeonhardt TylerLeonhardt enabled auto-merge (squash) January 31, 2026 18:53
@TylerLeonhardt TylerLeonhardt merged commit ea7ab72 into release/0.37 Jan 31, 2026
19 checks passed
@TylerLeonhardt TylerLeonhardt deleted the tyler/familiar-coyote branch January 31, 2026 19:05
TylerLeonhardt added a commit that referenced this pull request Feb 2, 2026
TylerLeonhardt added a commit that referenced this pull request Feb 2, 2026
TylerLeonhardt added a commit that referenced this pull request Feb 2, 2026
TylerLeonhardt added a commit that referenced this pull request Feb 3, 2026
* Revert "Better logic around what a User Initiated Message is (#3350)"

This reverts commit ea7ab72.

* Use number state for deciding on PRU consumption

Fixes microsoft/vscode#292024
github-merge-queue bot pushed a commit that referenced this pull request Feb 3, 2026
* Revert "Better logic around what a User Initiated Message is (#3350)"

This reverts commit ea7ab72.

* Use number state for deciding on PRU consumption

Fixes microsoft/vscode#292024
benvillalobos pushed a commit that referenced this pull request Feb 3, 2026
* Revert "Better logic around what a User Initiated Message is (#3350)"

This reverts commit ea7ab72.

* Use number state for deciding on PRU consumption

Fixes microsoft/vscode#292024
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