scala/scala — pull request #839 by jsuereth (2012-07-06 12:30:12+00:00)
Title: Fix to push-jars to use same sha fixing that pull uses.

This fixes the binary-repo-tools.sh so that both push and pull use the same mechanism of obtaining SHA. This should fix the push script for windows.

Review by @lrytz @xeno-by