geckon01/php-curl-class
1
0
Fork 0
mirror of https://github.com/php-curl-class/php-curl-class.git synced 2026-10-25 05:18:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Print pull request details in release script

Browse Source
This commit is contained in:
Zach Borboa
2026-04-20 21:51:51 -04:00
parent 3bbd46d357
commit 620154287c
1 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/make_release.py
+8 -5
View File
@@ -65,27 +65,30 @@ def main():
pulls_missing_semver_label = []
for pull in recent_pulls:
# print('-' * 10)
print("-" * 10)
print("pull.title: {}".format(pull.title))
print("pull.html_url: {}".format(pull.html_url))
# Skip this and remaining pull requests as this one's last update
# predates the most recent tag. Results are sorted by updated desc, so
# no later entry in the list could have been merged after the tag
# either.
pull_updated_at = copy(pull.updated_at).replace(tzinfo=timezone.utc)
print("pull_updated_at: {}".format(pull_updated_at))
if pull_updated_at < most_recent_tag_datetime:
print("stopping: updated_at predates most recent tag")
break
# Skip this pull request as it's not merged.
if not pull.merged:
# print('skipping since not merged: {}'.format(pull.title))
# print(pull.html_url)
print("skipping: not merged")
continue
# Skip this pull request as it was merged before the most recent tag.
pull_merged_at = copy(pull.merged_at).replace(tzinfo=timezone.utc)
print("pull_merged_at: {}".format(pull_merged_at))
if pull_merged_at < most_recent_tag_datetime:
# print('skipping since merged prior to last release: {}'.format(pull.title))
# print(pull.html_url)
print("skipping: merged prior to last release")
continue
pull_labels = {label.name for label in pull.labels}