diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2015-06-17 09:45:39 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2015-06-17 09:45:39 -0700 |
commit | 7cf3ebc2f7b65f6cb422b063e614cda6bfb472ac (patch) | |
tree | 32c6e94e4027549e6dcec97bab5e82fce92478be /dive.h | |
parent | 5d09244c0f7dc2376d9d7eeff5fba5fde96cc6e1 (diff) | |
download | subsurface-7cf3ebc2f7b65f6cb422b063e614cda6bfb472ac.tar.gz |
Git storage: only check git_id if saving to the same remote
If we switch to a different remote (let's say we opened a local git repo
and want to save its content to the cloud storage) then don't check to
make sure that the branch stayed unchanged (because, duh, it's a different
remote, it will have changed).
This fixes the problem where you could open an XML file and store it to
cloud storage just fine, but opening a local git repository and then
storing that to cloud storage failed.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'dive.h')
0 files changed, 0 insertions, 0 deletions