summaryrefslogtreecommitdiff
path: root/git/refs/head.py
diff options
context:
space:
mode:
authorDominic <yobmod@gmail.com>2021-07-31 20:22:34 +0100
committerGitHub <noreply@github.com>2021-07-31 20:22:34 +0100
commit05825dcaaf6bf3de7d7e2bc595ad6dcb145f11e8 (patch)
tree9253532b6bb74372d2034c16ad58c6094f11fcc8 /git/refs/head.py
parent300330dfa2d2baece6d34b450523ac2a079c228b (diff)
parent2a350b57ce79a0e1b71623d1146c52918232e074 (diff)
downloadgitpython-05825dcaaf6bf3de7d7e2bc595ad6dcb145f11e8.tar.gz
Merge pull request #1308 from Yobmod/main
Add remaining types to symbolic.py
Diffstat (limited to 'git/refs/head.py')
-rw-r--r--git/refs/head.py5
1 files changed, 2 insertions, 3 deletions
diff --git a/git/refs/head.py b/git/refs/head.py
index 260bf5e7..56a87182 100644
--- a/git/refs/head.py
+++ b/git/refs/head.py
@@ -21,7 +21,7 @@ if TYPE_CHECKING:
__all__ = ["HEAD", "Head"]
-def strip_quotes(string):
+def strip_quotes(string: str) -> str:
if string.startswith('"') and string.endswith('"'):
return string[1:-1]
return string
@@ -129,14 +129,13 @@ class Head(Reference):
k_config_remote_ref = "merge" # branch to merge from remote
@classmethod
- def delete(cls, repo: 'Repo', *heads: 'Head', **kwargs: Any):
+ def delete(cls, repo: 'Repo', *heads: 'Head', force: bool = False, **kwargs: Any) -> None:
"""Delete the given heads
:param force:
If True, the heads will be deleted even if they are not yet merged into
the main development stream.
Default False"""
- force = kwargs.get("force", False)
flag = "-d"
if force:
flag = "-D"