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

Release 0.47.1 #820

Merged
merged 1 commit into from
Oct 30, 2023
Merged

Release 0.47.1 #820

merged 1 commit into from
Oct 30, 2023

Conversation

github-actions[bot]
Copy link

Update the changelog and the specfile for release 0.47.1.

@softwarefactory-project-zuul
Copy link
Contributor

Build succeeded.
https://softwarefactory-project.io/zuul/t/packit-service/buildset/d81034bfadcc45ccbf13b526648d7e4b

✔️ pre-commit SUCCESS in 2m 07s
✔️ ogr-tests-pip-deps SUCCESS in 10m 37s

@mfocko mfocko added the mergeit When set, zuul wil gate and merge the PR. label Oct 30, 2023
@softwarefactory-project-zuul
Copy link
Contributor

Build succeeded (gate pipeline).
https://softwarefactory-project.io/zuul/t/packit-service/buildset/5bec8302c7914860b895ac506ef00547

✔️ pre-commit SUCCESS in 2m 02s

@softwarefactory-project-zuul softwarefactory-project-zuul bot merged commit 035d4a4 into main Oct 30, 2023
29 checks passed
@softwarefactory-project-zuul softwarefactory-project-zuul bot deleted the create-pull-request/patch branch October 30, 2023 09:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mfocko mfocko mfocko approved these changes

Assignees
No one assigned
Labels
mergeit When set, zuul wil gate and merge the PR. release
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@mfocko