use ssh url instead of http for sync.php's sake