mirror of
https://github.com/zulip/zulip.git
synced 2025-11-02 13:03:29 +00:00
Silences “Warning: 1 issue was detected with this workflow: Please make sure that every branch in on.pull_request is also in on.push so that Code Scanning can compare pull requests against the state of the base branch.” Signed-off-by: Anders Kaseorg <anders@zulip.com>