Currently GitHub SSH is locked to port 22, so the ability to specify a different port in the Config section (along with the github hostname/secrets) and then have that fed through to the dispatcher, checkout scripts and whereever else uses ssh or uses ssh host keys for verification would be beneficial.