Skip to content

Tree has duplicate entries after commit #243

Closed
@half-ogre

Description

@half-ogre

We've had at least two reports from GHfW users that after making a simple commit, they can't push due to a duplicate entries error, confirmed by fsck. It looks like it's probably due to casing differences in the history. I can't point you to the repositories, because they are both private on GitHub (and I can't manage to create a repo that repros myself). If a GitHubber looks at this, I can point them to the repositories to easily see the error. I can also put together a code sample that causes the bug if that's helpful.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions