Quelle  hgrc   Sprache: unbekannt

[ui]
ssh = ssh -i $HOME/id_rsa -l updatebot@mozilla.com -o UserKnownHostsFile=$HOME/ssh_known_hosts
username = Updatebot <updatebot@mozilla.com>

[extensions]
strip =
evolve = $HOME/.mozbuild/evolve/hgext3rd/evolve
push-to-try = $HOME/.mozbuild/version-control-tools/hgext/push-to-try

[experimental]
evolution=all

[ Dauer der Verarbeitung: 0.19 Sekunden  (vorverarbeitet)  ]