diff options
author | 2015-03-04 15:25:13 -0400 | |
---|---|---|
committer | 2015-03-04 15:25:35 -0400 | |
commit | 15ffb8b60e26bd8707c132f2452cb4adbe7e6d02 (patch) | |
tree | 3db0ba20a0f03c918af18afaa8481b591e9001b0 /build.bat | |
parent | 8ad7398e29c9bd2ec25274bcca808650778e1457 (diff) |
sync: Fix committing when in a direct mode repo that has no HEAD ref.
Seen for example, a newly checked out git submodule. In this case,
.git/HEAD is a raw sha, rather than the usual reference to a ref.
Removed currentSha in passing, since it was a more roundabout way of
doing what headSha does, and headSha is more robust.
Diffstat (limited to 'build.bat')
0 files changed, 0 insertions, 0 deletions