CircleCI: Fix check for git push retry limit.
authorDavid Eichmann <EichmannD@gmail.com>
Wed, 19 Dec 2018 16:46:13 +0000 (11:46 -0500)
committerBen Gamari <ben@smart-cactus.org>
Fri, 21 Dec 2018 21:52:38 +0000 (16:52 -0500)
commit95fbf87886c4a3c076d71d37e1306f64e0e98b57
treeefbdd34dbd519d989f6c7ff828a0be8125cddc55
parent4147df3a83e9dc8ad5015e8d5439de9269f6c20c
CircleCI: Fix check for git push retry limit.

Test Plan: Observe CircleCI

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, carter

Differential Revision: https://phabricator.haskell.org/D5464
.circleci/push-test-metrics.sh