Allow to strip domain from kerberos usernames

Vitaliy Filippov

2015-06-01 7b6c1bdaba9877397ffdaf0c8641196cfb060c39

 src/main/distrib/data/defaults.properties

@@ -148,6 +148,11 @@
# SINCE 1.7.0
git.sshKrb5Keytab = ""

# Strip domain from kerberos usernamae.
#
# SINCE 1.7.0
git.sshKrb5StripDomain = "true"

# The service principal name to be used for Kerberos5.  The default is host/hostname.
#
# SINCE 1.7.0