Expose ssh_user as a distinct configuration option
This is a simplified implementation of what was requested by @twk3 in #4954. Together with gitlab!24739 (merged), it will now be possible to correctly suppress the username from ssh locations.
This is a simplified implementation of what was requested by @twk3 in #4954. Together with gitlab!24739 (merged), it will now be possible to correctly suppress the username from ssh locations.