ci: Fetch 3000 commits from upstream, rather than 1000#1711
Merged
gnprice merged 2 commits intozulip:mainfrom Jul 18, 2025
Merged
ci: Fetch 3000 commits from upstream, rather than 1000#1711gnprice merged 2 commits intozulip:mainfrom
gnprice merged 2 commits intozulip:mainfrom