kbuzzard-quotientgroup-dewith

Stream: mathlib4

[Scott Morrison]

Every time I git pull in Mathlib I see:

% git pull
From github.com:leanprover-community/mathlib4
 + 712518a88...275e357bb kbuzzard-quotientGroup-dewith -> origin/kbuzzard-quotientGroup-dewith  (forced update)
 * [new branch]          kbuzzard-quotientgroup-dewith -> origin/kbuzzard-quotientgroup-dewith
Already up to date.

is anyone else experiencing this? Any suggested fixes? (Delete that branch on remote? @Kevin Buzzard.)

[Kevin Buzzard]

I'm away but feel free to delete anything

[Eric Wieser]

Are you on windows, scott?

[Eric Wieser]

Oh nevermind, of course you're not based on previous git discussion

[Eric Wieser]

Did you update your git, or are you still on the old system version?

[Eric Wieser]

This looks like a case-insensitive filesystem bug

[Scott Morrison]

Current version. Deleted both branches (there were two) and everything is fine now.