Use HEAD instead of @ shortcut for git in launcher (#428)
authorGeoff Reedy <geoff@programmer-monk.net>
Fri, 26 Apr 2019 08:25:27 +0000 (02:25 -0600)
committerSam <sam.saffron@gmail.com>
Fri, 26 Apr 2019 08:25:27 +0000 (18:25 +1000)
commit755ab5acfb7254445e8504f1a2241ae13a4ebb42
tree917d4db3556f7eb34612474c3e37544a277fd8dc
parent421c1af1642dbc278a47f405705a2823c52c0960
Use HEAD instead of @ shortcut for git in launcher (#428)

The abbreviation @ for HEAD was added in git 1.8.5. The launcher claims to be compatible with git version 1.8.0 but the use of this abbreviation breaks this compatibility. This change is needed to support RHEL 7.6 which has only git 1.8.3.1.
launcher