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