v0.2.5

matthias.putz@esrlabs.com

b61a606d · if https url given, upload to https (no switch to ssh) + fixes · Mar 28, 2013

https upload possible + fixes