synicalsyntax

@timabbott In order to do this, we'd probably need @zulipbot's login credentials or add @zulipbot-test to https://github.com/orgs/zulip/teams/team-that-is-just-zulipbot-for-permissions-control because zulipbot-test doesn't have access to all the repos that zulipbot does.

@timabbott @showell Is this issue still relevant? Can't seem to reproduce on master (#all is an unpinned stream)