On Thu, Dec 08, 2022 at 03:33:21PM +0400, Konstantin Khomoutov wrote: [...] > 1. You should not clone a Git repository located on a local filesystem. > Clone the replica of such repository hosted by your Git hosting provider. > To say that in some other words, "clone form the cloud", "clone from > the server". > > 2. The repository should be cloned in the "mirror" mode. > As I've originally stated, I have no idea whether the tools you're using > can do that. You cannot "just" clone, and I have gone to great length > (I think) to underline that [*].
After some pondering I came to the conclusion that mere so-called "bare cloning" - what a call to git clone --bare REPO_URL REPO_DIR does should suffice for your task. I'm not 100% sure, but this can be further investigated, and I would assume bare cloning has way higher chances of being implemented in third-party tools to work with Git. As to separate work trees and SourceTree, it appears to be not implemented [1, 2] even though it was requested back then in 2017. Not that I'm surprised. On the other hand, Git Extensions - a tool I would recommend to anyone wanting a GUI front-end to Git back then I were using Git on Windows, appears to have it implemented [3]. As to support in PHPStorm, I've googled for the relevant keywords and it appears to be implemented (if I get it correct that PHPStorm is just a facet of the IntelliJ IDEA IDE): [4]. 1. https://jira.atlassian.com/browse/SRCTREE-3204 2. https://jira.atlassian.com/browse/SRCTREEWIN-8594 3. https://git-extensions-documentation.readthedocs.io/en/release-3.4/worktrees.html 4. https://youtrack.jetbrains.com/issue/IDEA-143404 -- You received this message because you are subscribed to the Google Groups "Git for human beings" group. To unsubscribe from this group and stop receiving emails from it, send an email to git-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/git-users/20221208124148.yiu7ak3pmqirot5c%40carbon.
