**** BEGIN LOGGING AT Mon Nov 18 02:59:57 2019 Nov 18 07:50:57 good morning Nov 18 17:47:57 Can it be that it is not possible to specify a SRC_URI for a Git repo which is accessible via SSH but on a custom port? For me, neither "git://git@example.com:8888/repo.git;protocol=ssh" nor "git://git@example.com:8888/repo.git;protocol=ssh;port=8888" works. Nov 18 17:49:45 the former should work, if not, it's abug Nov 18 17:50:47 thanks Nov 18 17:56:45 It actually does work - clear case of PEBKAC **** ENDING LOGGING AT Tue Nov 19 02:59:58 2019