diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2018-09-10 06:30:01 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-09-10 16:26:49 -0700 |
commit | ae653703a5d3ff1da84053d4542420fc70325c5f (patch) | |
tree | 3c93c581dc3d7a2209b7dc021d14515c34b75c04 /core/save-git.c | |
parent | 6e4a2538968d945d471489270136c4891b47b270 (diff) | |
download | subsurface-ae653703a5d3ff1da84053d4542420fc70325c5f.tar.gz |
prefs: git_local_only is not a preference
It's the current state of the app, so it should be a global variable, not a
preference.
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 2824b22ca..df5abf9e1 100644 --- a/core/save-git.c +++ b/core/save-git.c @@ -1271,7 +1271,7 @@ int do_git_save(git_repository *repo, const char *branch, const char *remote, bo return report_error("creating commit failed"); /* now sync the tree with the remote server */ - if (remote && !prefs.git_local_only) + if (remote && !git_local_only) return sync_with_remote(repo, remote, branch, url_to_remote_transport(remote)); return 0; } |