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

Rename or rewrite history of Eharmony #43

Open
MattiSG opened this issue Mar 4, 2022 · 0 comments
Open

Rename or rewrite history of Eharmony #43

MattiSG opened this issue Mar 4, 2022 · 0 comments

Comments

@MattiSG
Copy link
Member

MattiSG commented Mar 4, 2022

Following #42, eharmony was renamed to Eharmony. However, this rename was not reflected in the ID, and was not followed by a history rewrite.

As asked in #42 (comment), it is important to understand if this change was made with the intention to take into account the case-sensitive order of the GitHub UI, or because it corrects the name of the service. If it is the former, it should be reverted. If it is the latter, then the ID should be updated too.

In both cases, the history should be rewritten to unify the names to the final one.

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

1 participant