scala/scala — pull request #1293 by jsuereth (2012-09-12 16:45:43+00:00)
Title: Fixes binary repo push for new typesafe repo layouts.

This adds a new/fixed push.jar and adapts the binary-repo-lib script to use different URLs
for pulling than pushing.

Review by @lrytz + use by @xeno-by / @paulp

Note to self: Cherry pick this against 2.9.x when able.