HomePhabricator
This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

Fixed syntax

Details

Provenance
tijmenAuthored on Jul 13 2020, 1:19 PM
Parents
rSYLK4e687cea33ae: Only remove push token if it is set
Branches
Unknown
Tags
Unknown