special push or pull or clone, maybe with post-hooks. I don't think those will be a big problem. The main stumbling block is where/what/how I make the "git master copy" (#5) and how I'm supposed to integrate that with the #1 & #4 dev copies. Thanks!!