Skip to content
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.

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

Please change the name of the project to lispcookbook! (so the address https://lispcookbook.github.io/ is valid) #562

Open
daninus14 opened this issue Oct 28, 2024 · 8 comments

Comments

@daninus14
Copy link

Hi,

Can you please change the name of the repository to be lispcookbook.github.io??

That way the address will be https://lispcookbook.github.io/ instead of https://lispcookbook.github.io/

It's a bit annoying every time my browser navigates to the https://lispcookbook.github.io/ instead of https://lispcookbook.github.io/cl-cookbook/, specially when there are no links there to go to the correct page...

Thanks!

@vindarel
Copy link
Contributor

vindarel commented Oct 28, 2024

I just talked about this with a friend yesterday; it may be too late to rename the GH pages project but we can create another Github pages repo with a meta redirect in its index.

@daninus14
Copy link
Author

I think the only issues with renaming a repository are related to github actions, everything else including issues, wikis, followers, stars, and probably forks will stay. See https://docs.github.com/en/repositories/creating-and-managing-repositories/renaming-a-repository

From what I can see the actions you have are funding, which doesn't seem to be dependent on a name (unless I got it wrong) and the build pages, which is the whole point of the rename.

I thought many times before to submit this issue but refrained from doing so, but it really only takes a sec, that's why I asked.

@daninus14
Copy link
Author

I think even if you go to the old repo in github like github.com/user/oldrepo it will redirect the user and even the git clone to the new repo

@vindarel
Copy link
Contributor

What about the deployed pages?

https://lispcookbook.github.io/cl-cookbook/getting-started.html

would become

https://lispcookbook.github.io/getting-started.html

right?

@daninus14
Copy link
Author

yeah, I think so. Ah are you worried about all the links around the web pointing to the previous URL?

@vindarel
Copy link
Contributor

yes. So it's better to add a lispcookbook.github.io project with an index that redirects to the existing one.

@pnathan
Copy link
Member

pnathan commented Oct 29, 2024 via email

@vindarel vindarel changed the title Please change the name of the project to lispcookbook! Please change the name of the project to lispcookbook! (so the address https://lispcookbook.github.io/ is valid) Oct 29, 2024
@daninus14
Copy link
Author

I wonder if in the github actions build workflow, whenever you push to the project, you can make it push as well to the other repository as well. That way one repo will be a mirror of the other, which will get pushed to every time there is a push in the first repository. Each repo will have the regular github action build github pages setup, so everything would work well.

That way, since it doesn't look like redirecting is possible, at least the content will be all the same.

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

No branches or pull requests

3 participants