diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-04-22 12:29:46 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-04-22 12:38:59 -0700 |
| commit | 2182f00177a62c8ca76ccfb7f39f4d564b70389c (patch) | |
| tree | c14a2f6a0c1afaae555c34458f0a3e60503b2d6c /core/save-git.c | |
| parent | bc6c8a3949d578e0b9be2ce5badf2ff54e9c2470 (diff) | |
| download | subsurface-2182f00177a62c8ca76ccfb7f39f4d564b70389c.tar.gz | |
Reduce default verbosity
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'core/save-git.c')
| -rw-r--r-- | core/save-git.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/save-git.c b/core/save-git.c index cfcd3627c..30cb2972f 100644 --- a/core/save-git.c +++ b/core/save-git.c @@ -1107,7 +1107,7 @@ static int create_new_commit(git_repository *repo, const char *remote, const cha return report_error("Unable to look up parent in branch '%s'", branch); if (saved_git_id) { - if (existing_filename) + if (existing_filename && verbose) fprintf(stderr, "existing filename %s\n", existing_filename); const git_oid *id = git_commit_id((const git_commit *) parent); /* if we are saving to the same git tree we got this from, let's make |