Hello. Thank you for the fix. Would it be more reliable to compare inode of directory in question and ".git"? (there is [*] for windows). So that any unspotted name equivalence is prevented to cause any harm.
*) http://stackoverflow.com/questions/7162164/does-windows-have-inode-numbers-like-linux -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
