[pull] master from DefinitelyTyped:master#1513

Merged

pull[bot] merged 3 commits intoUncodedtech:masterfrom

DefinitelyTyped:master

Dec 9, 2025

Commits on Dec 9, 2025

🤖 Merge PR #74191 [google.picker]: automated update to Google Picker cl/842304549 by @googleworkspace-bot
googleworkspace-bot
authored
Remove contributors with deleted accounts (#74186)

github-actions[bot]
and
typescript-bot
authored
Bump the github-actions group across 1 directory with 3 updates (#74187)
dependabot[bot]
authored