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

Correct link to galgebra #225

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Conversation

eric-wieser
Copy link
Member

The link here is dead.

xref pygae/galgebra#28

I have no idea whether it makes sense to accept corrections here, but I thought I may as well file the PR.

@asmeurer
Copy link
Member

I don't know if it does either. The published paper already includes the old link. I don't know how this sort of thing is usually handled.

@certik
Copy link
Member

certik commented May 20, 2020

@brombo, can you please fork the https://github.com/pygae/galgebra repository into your user namespace? Just click on the "Fork" button when logged in as @brombo. That should fix this issue.

@certik
Copy link
Member

certik commented May 20, 2020

Wait, what happened to https://github.com/brombo ?

@certik
Copy link
Member

certik commented May 20, 2020

@asmeurer
Copy link
Member

asmeurer commented May 20, 2020

Adding a fork isn't a perfect solution, as the fork would not redirect to the actual repo, where the issues and PRs are. Maybe you can ask GitHub to retroactively make a redirect from brombo/galgebra. They already do this for repos that are moved.

Otherwise, perhaps one can create the brombo org and put a dummy repo up with a README that points to the new location.

@certik
Copy link
Member

certik commented May 20, 2020

@eric-wieser would you mind doing what @asmeurer suggested? I think anything along those lines is a way to go.

@eric-wieser
Copy link
Member Author

I hadn't thought of recreating the account.

@eric-wieser
Copy link
Member Author

eric-wieser commented May 20, 2020

Wait, what happened to https://github.com/brombo ?

He asked GitHub to delete his account, along with the repo and open issues, as he forgot the password and the email address was dead. GitHub refused to reverse it even at his request, since apparently that would need the password or email, even though deletion did not.

@asmeurer
Copy link
Member

Maybe contact GitHub and see if they can make the redirect. That would be the ideal solution.

@certik
Copy link
Member

certik commented May 20, 2020

@eric-wieser interesting, I didn't know about this back story. Yes, redirect brombo to abrombo would be the ideal solution.

@eric-wieser
Copy link
Member Author

I went ahead and made the org page, that seemed easier than asking github to create the redirect:
https://github.com/brombo/galgebra

@eric-wieser
Copy link
Member Author

They already do this for repos that are moved.

I'm pretty sure this becomes invalidated once someone creates a new user with the same name. The redirects are there for convenience, they're not permalinks.

@certik
Copy link
Member

certik commented May 21, 2020 via email

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.

None yet

3 participants