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
In eigen's hg repo we have a few files that have been renamed, for instance:
HyperPlane.h -> Hyperplane.h
unfortunately after importing this repo with git-remote-hg, we got the initial filename of these files, thus making the git clone unusable. I don't known it the problem occurs only with lower/upper case changes or with more general renaming too.
The text was updated successfully, but these errors were encountered:
Albeit possibly late to mention, but I tested this in this fork and the renames come out ok there (at least the example mentioned); see also generally #69.
In eigen's hg repo we have a few files that have been renamed, for instance:
unfortunately after importing this repo with git-remote-hg, we got the initial filename of these files, thus making the git clone unusable. I don't known it the problem occurs only with lower/upper case changes or with more general renaming too.
The text was updated successfully, but these errors were encountered: