| commit | 879dafb5b910b4c8e9fc37895495b4ddf2d58ef5 | [log] [tgz] |
|---|---|---|
| author | James E. Blair <jeblair@hp.com> | Fri Jul 17 14:04:49 2015 -0700 |
| committer | James E. Blair <jeblair@hp.com> | Fri Jul 17 15:39:12 2015 -0700 |
| tree | 427ca71aab955c6b15fa2eb5e0e258d7606ef0d5 | |
| parent | 1c42a2ab4704ecce112aa469dc7e1d13aa80d140 [diff] |
Reset repos with files named 'HEAD' If a git repo has the misfortune to have a file with the name "HEAD" at the root level of the repo, git will return an error because it is unsure whether the file or ref is meant. Call 'git reset' with '--' at the end of the command to disambiguate and instruct git that the HEAD ref is meant. Change-Id: Icb19063afafa1e0719b3354470c14df8168a64b5