I have several tool repositories using git, and have several users who can develop on several of these tool repos. What I would like to do is have a way of preventing users from accidentally pulling the wrong repo into the repo they are working on.
Does git have a mechanism to do this? Has anyone else encountered this issue? In Bitkeeper, you could create a repo with a unique ID, and Bitkeeper inherently would check the Repo ID and would prevent a pull from happening if the repo id did not match. I am startled with the fact that I can pull two completely different repos into each other. -- 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 [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
