Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'main' into patch-1
  • Loading branch information
eric-wieser authored Aug 3, 2021
commit 05c77cf06e82f7932fb9775fad74251ad6c8aa4f
11 changes: 5 additions & 6 deletions git/config.py
Original file line number Diff line number Diff line change
Expand Up @@ -710,14 +710,13 @@ def read_only(self) -> bool:
return self._read_only

@overload
def get_value(self, section: str, option: str, default: Optional[str] = None
) -> str:
...
def get_value(self, section: str, option: str, default: None = None) -> str: ...

@overload
def get_value(self, section: str, option: str, default: Optional[float] = None
) -> float:
...
def get_value(self, section: str, option: str, default: str) -> str: ...

@overload
def get_value(self, section: str, option: str, default: float) -> float: ...

def get_value(self, section: str, option: str, default: Union[int, float, str, bool, None] = None
) -> Union[int, float, str, bool]:
Expand Down
You are viewing a condensed version of this merge commit. You can view the full changes here.