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

Removed tags from mx repo breaks other tools #282

Closed
MartinBalin opened this issue Jun 14, 2024 · 7 comments
Closed

Removed tags from mx repo breaks other tools #282

MartinBalin opened this issue Jun 14, 2024 · 7 comments
Assignees

Comments

@MartinBalin
Copy link

MartinBalin commented Jun 14, 2024

MX repo has no tags in git as of today. Removing tags breaks other tools like e.g. NetBeans which has MX project support apache/netbeans#7468 (comment)
Can you put tags back?
Thank you

@zakkak
Copy link
Contributor

zakkak commented Jun 14, 2024

+1 This breaks Mandrel CI jobs as well https://github.com/graalvm/mandrel/actions/runs/9508646546/job/26210331455

I guess this was accidental, maybe a tag rule could help prevent such issues in the future.

cc @zapster (as the last committer that bumped the mx version)

@zapster
Copy link
Member

zapster commented Jun 14, 2024

@ezzarghili please have a look

@ezzarghili
Copy link
Member

There seems to be an issue with the mirroring service pushing tags to github for mx, the team is investigating

@ezzarghili
Copy link
Member

ezzarghili commented Jun 14, 2024

@fniephaus pushing the missing tags manually for now
@zakkak thanks, I added a rule for now to prevent them from getting deleted

@fniephaus
Copy link
Member

Apologies for the inconvenience. We've just pushed all 5.*, 6.*, and 7.* tags. Please let me know if something is still missing. As @ezzarghili mentioned, we've set up a tag protection rule to make sure this cannot happen again.

@MartinBalin
Copy link
Author

Thank you for quick response.

@zakkak
Copy link
Contributor

zakkak commented Jun 14, 2024

Thank you all for the really fast resolution :)

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

No branches or pull requests

5 participants