Console fixes

## Use same Deploy() code path for all scenarios

Git push has always had a different deployment code path that relies on the 'pushinfo' file. It seems that is not necessary and we can just use the standard code path which deploys the latest bits.

That removes a whole lot of tricky code, so I hope there is no catch that I'm missing!