Skip to content

Conversation

@sbenitezb
Copy link
Contributor

Michael's server died and all his projects are now hosted primarily on GitHub.

@quicklisp
Copy link
Owner

quicklisp commented Dec 20, 2022 via email

@sbenitezb
Copy link
Contributor Author

Sure, no problem. Does a single commit also work for you?
I have been speaking with Michael about this, he doesn't have much time and as I'm using one of his projects and noticed the project URL errors with 404, I emailed him and he told me that his git server died and is permanently offline.

@sbenitezb sbenitezb closed this Dec 20, 2022
@sbenitezb sbenitezb deleted the changes branch December 20, 2022 19:59
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.

2 participants