Is the push window too big?

[Thorsten Leemhuis]

Am Donnerstag, den 08.06.2006, 12:45 +0200 schrieb Michael Schwendt:
> I think this just broke two build jobs:

Well, we had similar problems before and even opened a bug report to
track it (but it got forgotten):
https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=185846

[...]

>  - We could modify the push script to _copy_ files instead of moving
> them.
> Successfully copied packages would be marked [in their package root
> directory] and would not be removed prior to a successful sync.

Sound like a good workaround (or is this even the proper solution?).

CU
thl