diff options
| -rw-r--r-- | CHANGES.rst | 6 | ||||
| -rw-r--r-- | ci/comment_on_fixes.py | 15 | ||||
| -rw-r--r-- | coverage/version.py | 2 | ||||
| -rw-r--r-- | howto.txt | 3 | ||||
| -rw-r--r-- | igor.py | 4 |
5 files changed, 20 insertions, 10 deletions
diff --git a/CHANGES.rst b/CHANGES.rst index a7b0acbd..81f29bc8 100644 --- a/CHANGES.rst +++ b/CHANGES.rst @@ -17,6 +17,12 @@ development at the same time, such as 4.5.x and 5.0. .. Version 9.8.1 — 2027-07-27 .. -------------------------- +Unreleased +---------- + +Nothing yet. + + .. _changes_631: Version 6.3.1 — 2022-02-01 diff --git a/ci/comment_on_fixes.py b/ci/comment_on_fixes.py index b76a6cda..f36cba93 100644 --- a/ci/comment_on_fixes.py +++ b/ci/comment_on_fixes.py @@ -2,7 +2,6 @@ import json import re -import time import requests @@ -23,10 +22,14 @@ for m in re.finditer(r"https://github.com/nedbat/coveragepy/(issues|pull)/(\d+)" kind, number = m.groups() if kind == "issues": - print(f"Commenting on {m[0]}") - url = f"https://api.github.com/repos/{owner}/{repo}/issues/{number}/comments" - resp = requests.post(url, json={"body": comment}) - print(resp) - time.sleep(1) + url = f"https://api.github.com/repos/{owner}/{repo}/issues/{number}" + issue_data = requests.get(url).json() + if issue_data["state"] == "closed": + print(f"Commenting on {m[0]}") + url = f"https://api.github.com/repos/{owner}/{repo}/issues/{number}/comments" + resp = requests.post(url, json={"body": comment}) + print(resp) + else: + print(f"Still open, comment manually: {m[0]}") else: print(f"You need to manually coment on {m[0]}") diff --git a/coverage/version.py b/coverage/version.py index 4fd896ee..d85e053d 100644 --- a/coverage/version.py +++ b/coverage/version.py @@ -5,7 +5,7 @@ # This file is exec'ed in setup.py, don't import anything! # Same semantics as sys.version_info. -version_info = (6, 3, 1, "final", 0) +version_info = (6, 3, 2, "alpha", 0) def _make_version(major, minor, micro, releaselevel, serial): @@ -87,7 +87,8 @@ - @ https://readthedocs.org/dashboard/coverage/advanced/ - change the default version to the new version - Visit the fixed issues on GitHub and mention the version it was fixed in. - - "This is now released as part of [coverage 5.2](https://pypi.org/project/coverage/5.2)." + - python ci/comment_on_fixes.py + - "This is now released as part of [coverage 5.2](https://pypi.org/project/coverage/5.2)." - Announce: - twitter @coveragepy - nedbatchelder.com blog post? @@ -390,8 +390,8 @@ def do_cheats(): print("-" * len(head)) print("\ngit commands:") - print(f'git tag -a -m "Version {ver}" {ver}') - print(f'git branch -f stable {ver}') + print(f'git tag -a -m "Version {ver}" {ver}; git push --follow-tags') + print(f'git branch -f stable {ver}; git push origin stable') print(f"https://coverage.readthedocs.io/en/{ver}/changes.html#changes-{anchor}") print( |