Proper handling of Git directories for develop installs