Jeff King <peff@xxxxxxxx> writes: > I wonder if the right solution is for us to be more picky about what can > be found in $GIT_DIR. Maybe matching all-uppercase, or starting with > "refs/", which I think would match existing convention? I think we've discussed tightening it a few years ago already. HEAD, MERGE_HEAD, FETCH_HEAD, etc. all are "^[_A-Z]*$" and it may even be a good idea to insist "^[_A-Z]*HEAD$" or even "^([A-Z][A-Z]*_)?HEAD$". -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html