was a20ddeb0d202bc4085b62624354500fdc1cca0f5 ----------------------------------------------------------------------- a20ddeb0d202bc4085b62624354500fdc1cca0f5 18772: a few more improvements for the autoscaler script, from the review comments. ----------------------------------------------------------------------- hooks/post-receive --