mirror of
https://github.com/zulip/zulip.git
synced 2026-07-06 21:18:58 +08:00
The `gh pr list --search` results may have an _empty_ state for the first several seconds, leading to this immediately aborting, deleting the branch and closing the PR. |
||
|---|---|---|
| .. | ||
| sync-translations | ||
| update-for-legacy-translations | ||