Sounds fine to me. In fact, I was wondering a bit why we make this distinction at all, I usually use https:// for pushing, too... But yeah, we definitely should have the ssh:// prefix if that is what we are going to use.