Skip to content

Update container for building rpms to be based on mariner#84809

Merged
jkoritzinsky merged 1 commit intodotnet:mainfrom
jkoritzinsky:rpmpkg-update
Apr 14, 2023
Merged

Update container for building rpms to be based on mariner#84809
jkoritzinsky merged 1 commit intodotnet:mainfrom
jkoritzinsky:rpmpkg-update

Conversation

@jkoritzinsky
Copy link
Member

Contributes to moving off of CentOS7-based builds.

@ghost ghost added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Apr 13, 2023
@ghost ghost assigned jkoritzinsky Apr 13, 2023
@jkoritzinsky
Copy link
Member Author

@jkoritzinsky jkoritzinsky added blocked Issue/PR is blocked on something - see comments area-Setup and removed needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners labels Apr 13, 2023
@jkoritzinsky jkoritzinsky reopened this Apr 13, 2023
@jkoritzinsky jkoritzinsky removed the blocked Issue/PR is blocked on something - see comments label Apr 13, 2023
@jkoritzinsky jkoritzinsky requested a review from sbomer April 14, 2023 04:08
Copy link
Member

@sbomer sbomer left a comment

Choose a reason for hiding this comment

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

Thanks!

@jkoritzinsky jkoritzinsky merged commit 9c02b25 into dotnet:main Apr 14, 2023
@ghost ghost locked as resolved and limited conversation to collaborators May 14, 2023
@jkoritzinsky jkoritzinsky deleted the rpmpkg-update branch March 22, 2024 01:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants