Multiple cvs/git mirror tasks?

[Jim Meyering]

Jason Merrill wrote:

> I'm noticing overlapping cvs/git mirroring tasks running on sourceware:
>
>> meyering 5577 0.0 0.0 3492 900 ?  SNs 14:50 0:00 /bin/sh
>> /home/meyering/bin/mirror-sw binutils
>> meyering 5608 0.0 0.0 3492 412 ?  SN 14:50 0:00 /bin/sh
>> /home/meyering/bin/mirror-sw binutils
>> meyering 5609 0.0 0.0 3492 500 ?  SN 14:50 0:00 /bin/sh
>> /home/meyering/bin/mirror-sw binutils
> ...
>> meyering 11613 0.0 0.0 2948 896 ?  SNs 14:38 0:00 /bin/sh
>> /home/meyering/bin/mirror-sw gdb
>> meyering 11665 0.0 0.0 2948 404 ?  SN 14:38 0:00 /bin/sh
>> /home/meyering/bin/mirror-sw gdb
>> meyering 11666 0.0 0.0 2948 496 ?  SN 14:38 0:00 /bin/sh
>> /home/meyering/bin/mirror-sw gdb
> ...
>> meyering 27713 0.0 0.0 2632 896 ?  SNs 15:08 0:00 /bin/sh
>> /home/meyering/bin/mirror-sw gdb
>> meyering 27728 0.0 0.0 2632 404 ?  SN 15:08 0:00 /bin/sh
>> /home/meyering/bin/mirror-sw gdb
>> meyering 27729 0.0 0.0 2632 496 ?  SN 15:08 0:00 /bin/sh
>> /home/meyering/bin/mirror-sw gdb
>
> Is this intentional?

Not by me.
Those jobs are supposed to be started by these crontab entries:

0-59/15 * * * * sh -c "nice $HOME/bin/mirror-sw lvm"
20-59/30  * * * * sh -c "nice $HOME/bin/mirror-sw binutils"
8-59/30   * * * * sh -c "nice $HOME/bin/mirror-sw gdb"
14        * * * * sh -c "nice $HOME/bin/mirror-sw newlib"

Any idea how we'd get three of each, with each triple starting
at the same minute?