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

Mark some archived repos as retired. #4427

Merged

sengi merged 1 commit into main from sengi/archive

Jan 30, 2024

Contributor

sengi commented Jan 30, 2024

We still need to set these for now, until we fix #4259.


          Mark some archived repos as retired.

33a9036

We still need to set these for now, until we fix #4259.

sengi requested a review from theseanything

January 30, 2024 15:33

theseanything approved these changes

View reviewed changes

sengi merged commit ee67471 into main

6 checks passed

sengi deleted the sengi/archive branch

January 30, 2024 15:35

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment