Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

devtools: cleanup related to python release tooling #5792

Merged
merged 5 commits into from
Sep 5, 2024
Merged

devtools: cleanup related to python release tooling #5792

merged 5 commits into from
Sep 5, 2024

Conversation

fingolfin
Copy link
Member

  • devtools: we are not using python-dateutil anymore
  • devtools: use consistent Python version & packages
  • devtools: clearify dev/releases/README.md

@fingolfin
devtools: we are not using python-dateutil anymore
071f719
@fingolfin
devtools: use consistent Python version & packages
96f62b0
@fingolfin
devtools: clearify dev/releases/README.md
b9d7416 
Updating the website in one section only discussed the GH workflow
and in another only the update_website.py script, without any hint
about their relation. Fix that.
@fingolfin fingolfin added release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: infrastructure topic: ci Anything related to GitHub Actions, Codecov, AppVeyor, Coveralls, Travis, ... topic: workflow Meta: anything related to the development workflow of GAP backport-to-4.13 labels Sep 5, 2024
james-d-mitchell
james-d-mitchell reviewed Sep 5, 2024
View reviewed changes
Copy link
Contributor

@james-d-mitchell james-d-mitchell left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks sensible to me!

@fingolfin fingolfin merged commit b68674e into gap-system:master Sep 5, 2024
29 of 30 checks passed
@fingolfin fingolfin deleted the mh/devtools-cleanup branch September 5, 2024 21:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@james-d-mitchell james-d-mitchell james-d-mitchell left review comments

@ChrisJefferson ChrisJefferson Awaiting requested review from ChrisJefferson

Assignees
No one assigned
Labels
backport-to-4.13 release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes topic: ci Anything related to GitHub Actions, Codecov, AppVeyor, Coveralls, Travis, ... topic: infrastructure topic: workflow Meta: anything related to the development workflow of GAP
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@fingolfin @james-d-mitchell