diff options
| author |  Tom Willemse | 2013-05-23 23:05:34 +0200 |
|---|---|---|
| committer | Tom Willemse | 2013-05-23 23:11:10 +0200 |
| commit | 8b3f0d16d339316428b62d3019882a778b3cc1c7 (patch) | |
| tree | c10c6c8b2e0be7c61fc6f0c682ddc30e75414941 /gitto/.gitignore | |
| parent | cd8a7c310ceb386b40b4cec74d527b49acb9fd3f (diff) | |
| download | gitto-8b3f0d16d339316428b62d3019882a778b3cc1c7.tar.gz gitto-8b3f0d16d339316428b62d3019882a778b3cc1c7.zip | |
Ask to merge settings when registering repo
The `add' command will ask the user if they would like to merge their
settings with the newly registered repository's if the current input
is a tty and if the user has specified some settings.
The default for this is `#t', so pressing <RET> when presented with
this question will merge the settings, however if the user is never
asked (because the input is not a tty) no merge will happen.
Diffstat (limited to 'gitto/.gitignore')
0 files changed, 0 insertions, 0 deletions