Forwarding SSH stderr, and progress bar for push

Created by  pmeunier  on November 27, 2020
367UBQ6KNAKUEWG32R4QRJ6H7IE7NAZFOPTC3ZOE4Z6E44RV3ISQC
Change contents