diff options
| author | David Robertson <davidr@element.io> | 2022-11-14 13:46:29 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-14 13:46:29 +0000 |
| commit | 2cc592584ae9f225216b7663e9144ac6f565b757 (patch) | |
| tree | 24803060a64b17e1b21b0a74082c5bc9e33143bb /scripts-dev | |
| parent | Clean-up events persistance code (#14411) (diff) | |
| download | synapse-2cc592584ae9f225216b7663e9144ac6f565b757.tar.xz | |
Remove unused type-ignores (#14433)
* Remove unused type-ignores Oversights in #14427 and #14429. * Changelog
Diffstat (limited to 'scripts-dev')
| -rwxr-xr-x | scripts-dev/release.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/scripts-dev/release.py b/scripts-dev/release.py index c82c58c54b..bf47b6c713 100755 --- a/scripts-dev/release.py +++ b/scripts-dev/release.py @@ -219,9 +219,7 @@ def _prepare() -> None: update_branch(repo) # Create the new release branch - # Type ignore will no longer be needed after GitPython 3.1.28. - # See https://github.com/gitpython-developers/GitPython/pull/1419 - repo.create_head(release_branch_name, commit=base_branch) # type: ignore[arg-type] + repo.create_head(release_branch_name, commit=base_branch) # Special-case SyTest: we don't actually prepare any files so we may # as well push it now (and only when we create a release branch; |