Skip to content

[pull] master from microsoft:master#932

Merged
pull[bot] merged 67 commits intoprefix-dev:masterfrom
microsoft:master
Dec 1, 2025
Merged

[pull] master from microsoft:master#932
pull[bot] merged 67 commits intoprefix-dev:masterfrom
microsoft:master

Conversation

@pull
Copy link

@pull pull bot commented Nov 30, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

spectopo and others added 30 commits November 30, 2025 08:10
Signed-off-by: Dragon1573 <49941141+Dragon1573@users.noreply.github.com>
kris6673 and others added 29 commits November 30, 2025 23:11
Co-authored-by: goreleaserbot <bot@goreleaser.com>
@pull pull bot merged commit 1e3f875 into prefix-dev:master Dec 1, 2025
1 of 3 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.