Skip to content

workflows: Restrict GitHub permissions#893

Merged
andersk merged 1 commit intozulip:mainfrom
andersk:workflows-permissions
Dec 8, 2025
Merged

workflows: Restrict GitHub permissions#893
andersk merged 1 commit intozulip:mainfrom
andersk:workflows-permissions

Commits

Commits on Dec 8, 2025