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.

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

ci: uci/update-go #498

Closed
wants to merge 1 commit into from
Closed

ci: uci/update-go #498

wants to merge 1 commit into from

Conversation

web3-bot
Copy link
Collaborator

This PR was created automatically by the @web3-bot as a part of the Unified CI project.

Copy link
Member

@rvagg rvagg left a comment

Choose a reason for hiding this comment

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

argh! what?

@galargh
Copy link
Contributor

galargh commented Dec 19, 2024

I see what happened here! The original change was proposed back in August - #484

Since then it was closed, but the underlying branch was not deleted. Because of that the bot would keep creating a PR for an existing update branch. This is expected the way it is currently set up.

To address this, we just need to close the PR and delete the branch. It won't be recreated until the next Go version upgrade some time around March.

I'll take care of that immediately. Sorry for the noise. I hope the above explanation clears it up.

@galargh galargh closed this Dec 19, 2024
@galargh galargh deleted the uci/update-go branch December 19, 2024 14:13
@galargh
Copy link
Contributor

galargh commented Dec 19, 2024

✅ PR closed
✅ branch deleted

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants