Fix gitter notifications for non-PR runs in CI#12269

Merged

Marenz merged 1 commit intodevelopfrom fix-gitter-ci-notifications-for-non-pr-runs

Nov 10, 2021

+3-1

Commits on Nov 10, 2021

CI: Workaround for $CIRCLE_PULL_REQUEST pointing at random PRs in runs outside of PRs
cameel
committed