diff options
author | Giel van Schijndel <giel@mortis.eu> | 2021-04-23 12:24:53 +0200 |
---|---|---|
committer | Giel van Schijndel <giel@mortis.eu> | 2021-04-23 15:23:11 +0200 |
commit | 76ba0924be14d55d01db0506b3e6a930cc72bf0d (patch) | |
tree | 9ac64e4f00f045c588f11c0f36bfb58dc392aa30 /git/refs/reference.py | |
parent | 8470777b44bed4da87aad9474f88e7f0774252a6 (diff) | |
download | gitpython-76ba0924be14d55d01db0506b3e6a930cc72bf0d.tar.gz |
improvement(mypy): ignore false positives
Diffstat (limited to 'git/refs/reference.py')
-rw-r--r-- | git/refs/reference.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git/refs/reference.py b/git/refs/reference.py index aaa9b63f..9014f555 100644 --- a/git/refs/reference.py +++ b/git/refs/reference.py @@ -103,7 +103,7 @@ class Reference(SymbolicReference, LazyMixin, Iterable): #{ Remote Interface - @property + @property # type: ignore ## mypy cannot deal with properties with an extra decorator (2021-04-21) @require_remote_ref_path def remote_name(self): """ @@ -114,7 +114,7 @@ class Reference(SymbolicReference, LazyMixin, Iterable): # /refs/remotes/<remote name>/<branch_name> return tokens[2] - @property + @property # type: ignore ## mypy cannot deal with properties with an extra decorator (2021-04-21) @require_remote_ref_path def remote_head(self): """:return: Name of the remote head itself, i.e. master. |