diff options
Diffstat (limited to 'src/other_tools/root_maps/commit_git_map.cpp')
| -rw-r--r-- | src/other_tools/root_maps/commit_git_map.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/other_tools/root_maps/commit_git_map.cpp b/src/other_tools/root_maps/commit_git_map.cpp index e8dfeef4..d0b10258 100644 --- a/src/other_tools/root_maps/commit_git_map.cpp +++ b/src/other_tools/root_maps/commit_git_map.cpp @@ -136,7 +136,7 @@ void EnsureCommit(GitRepoInfo const& repo_info, if (is_commit_present == std::nullopt) { return; } - if (not *is_commit_present) { + if (not is_commit_present.value()) { // if commit not there, fetch it // get refspec for branch GitOpKey op_key = {{ |