You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
Following #42,
eharmony
was renamed toEharmony
. 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.
The text was updated successfully, but these errors were encountered: