Skip to content

Conversation

bishabosha
Copy link
Member

I think it still be best to delete the command, but we should ensure it works if we're going to ship it

this should have been part of #21121

@bishabosha bishabosha added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Jul 10, 2024
@hamzaremmal
Copy link
Member

hamzaremmal commented Jul 10, 2024

think it still be best to delete the command,

I agree but it was a collective decision by Scala Core.

@hamzaremmal hamzaremmal enabled auto-merge July 10, 2024 20:26
@hamzaremmal hamzaremmal merged commit 466676c into scala:main Jul 10, 2024
@hamzaremmal hamzaremmal deleted the fix-classpath-scala_legacy branch July 10, 2024 21:26
@WojciechMazur WojciechMazur added backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" and removed backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. labels Jul 10, 2024
@WojciechMazur WojciechMazur added this to the 3.5.0 milestone Jul 10, 2024
WojciechMazur added a commit that referenced this pull request Jul 11, 2024
@WojciechMazur WojciechMazur added backport:done This PR was successfully backported. backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" and removed backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" backport:done This PR was successfully backported. labels Jul 11, 2024
@WojciechMazur WojciechMazur modified the milestones: 3.5.0, 3.5.1 Jul 12, 2024
WojciechMazur added a commit that referenced this pull request Jul 14, 2024
@WojciechMazur WojciechMazur added backport:done This PR was successfully backported. and removed backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" labels Jul 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport:done This PR was successfully backported.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants