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 

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 git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to