patch applied (ghc-6.8/ghc): Give push-all the ability to pull with a --pull flag

[Ian Lynagh]

Wed Sep 12 07:07:43 PDT 2007  Ian Lynagh <igloo at earth.li>
  * Give push-all the ability to pull with a --pull flag
  OK, so the name is a bit wrong now...

    M ./push-all -1 +9