Heh, the last time I saw something called pushmi/pullyu it was clkao's svn repo sync stuff.

Is that where you got the names from or somewhere else? (the blast-from-the-past aspect of seeing those names again has got me wondering about the etymology in general :)