diff options
| author | Marco Ieni <11428655+MarcoIeni@users.noreply.github.com> | 2020-11-07 19:48:02 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-07 13:48:02 -0500 |
| commit | b14942527ac7f839f16523f7fe390fe922c20553 (patch) | |
| tree | c1d8274be561327a64c576b6333655e03928c517 /src/options/get.rs | |
| parent | 2ca4b956c3e845b51eed816c78e2fd63c1de779f (diff) | |
remove some clippy warnings (#383)
* remove some clippy warnings
* revert comparison_chain clippy lint
Allow it locally
Diffstat (limited to 'src/options/get.rs')
| -rw-r--r-- | src/options/get.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/get.rs b/src/options/get.rs index caaccd09..e29b8cdf 100644 --- a/src/options/get.rs +++ b/src/options/get.rs @@ -100,7 +100,7 @@ pub trait GetOptionValue { return Some(value_function(opt, &git_config)); } } - return None; + None } } |