Re: I can never finish a push
Martin L Resnick <mresnick@bbn.com> writes:
Show 18 quoted lines
> I'm working remotely over a VERY slow line.
>
> When I do a push it starts out fine
> but after the 15 seconds it takes to push
> it fails with non-fast-forward merge.
>
> So I pull (no merge needed, its fast-forward)
> and try push again. Fails again.
>
> I can keep this up for hours on end;
> pushing, pulling, pushing, pulling.
> Apparently there is fast and furious development
> on the branch I'm on that during my 15 seconds
> of pushing someone else on-site pushes and adds
> new commits before mine can finish.
>
> Is there anyway to lock the repository while
> my push is going on ?
Git doesn't have any locking features.
Your best bet is probably to have someone with faster access merge your branch, e.g., by pushing your work elsewhere (to another repo or just a different branch) and then sending them an email asking for your work to be merged.
If you have this issue a lot, the admins of your repo server could probably arrange for a feature where you push to a special "please merge this" branch namespace (such as incoming/martin-resnick), and the server then does the merge for you using locking (and of course refusing if there was any conflict).
However, it somewhat eludes me how you can generate churn on the order of 2000 commits (8*3600/15) per workday *to the same repository*. Perhaps the repository should be split into subprojects? Or at the very least, the subprojects should be handled in different repositories, from which an integrator pulls together the daily latest-and-greatest across all subprojects?
--
Thomas Rast
trast@{inf,student}.ethz.ch
