Skip to content

Conversation

@sbenitezb
Copy link
Contributor

Upon discussing with Michael over email, his git server died and all his projects are now hosted on GitHub.

Upon discussing with Michael over email, his git server died and all his projects are now hosted on GitHub.
@kanubacode
Copy link

@xach This is true. I haven't had time to make the PR myself yet. I give up on self hosting. My 1U fried a month after I purposed it for git hosting, and attempts to migrate it require more time than I can afford.

Copy link

@kanubacode kanubacode left a comment

Choose a reason for hiding this comment

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

I'm fairly certain it isn't just a simple text replacement. Some repositories probably were renamed or retired. I will make a proper PR when I can find some time. Please ping me if it's urgent.

@quicklisp quicklisp merged commit 2a7283e into quicklisp:master Dec 20, 2022
@sbenitezb
Copy link
Contributor Author

I'm fairly certain it isn't just a simple text replacement. Some repositories probably were renamed or retired. I will make a proper PR when I can find some time. Please ping me if it's urgent.

I did take the URLs from your github project list, they are all correct. I might have missed some project, there are a couple tools that are not on quicklisp though.

@kanubacode
Copy link

Great thank you. It looks like it was merged anyway 🤔

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.

3 participants