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
For more options, visit https://groups.google.com/groups/opt_out.