On Sun, Jun 9, 2013 at 6:39 PM, benoît person <benoit.per...@gmail.com> wrote: > On 10 June 2013 03:09, robe070 <goodridge....@gmail.com> wrote: >> Different branches or submodule won't work. The change to A and CRIT will be >> required soon - but at the request of the receiver, not forced upon you by >> Git. > > You are not forced to pull / push to all branches you know ? You could > always pull / push in the A-branch and when the receiver wants it : he > merges that A-branch and the CRIT-branch into the merge-branch.
It becomes more clear. As Benoit says, you could change your work flow. Joe and Mary are pushing to the same branch, so yeah, they need to pull before pushing, and if one of the changes they pull touched CRIT, they hate git (or their build system, or both). Start using feature branches, git-flow, as you mentioned you were interested in, would solve this, they would be the only pusher to their feature branch. No merging required. Someone, sometime, needs to merge that branch with a master, but it doesn't have to be them. It could be done by a push-button (on github, or with gerritt), or by the code-reviewer. Or, if the CI or merge-master-person won't do the merges, have two local repositories/"working copies". Push from one to the feature branch, then in your integration repo, pull, merge or rebase, and push. For most people, its easy to have only a single local git clone, and move quickly between branches, using stash, or just comitting and rebasing branches later. But, if you have expensive to re-create build products, then this isn't true. Consider multiple local clones, each for different purposes or branches. I do this with kernels, you do not want to rebuild from scratch each time you checkout a different branch, you keep different repos around for each branch you are looking at, and do local fs clones, which are really, really fast. -- 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.