On Thu, Jul 30, 2020 at 9:31 AM Sébastien Labbé <
sla...@gmail.com> wrote:
>
>
>
> On Thursday, July 30, 2020 at 10:12:10 AM UTC+2, Dima Pasechnik wrote:
>>
>> On Thu, Jul 30, 2020 at 8:37 AM Sébastien Labbé <
sla...@gmail.com> wrote:
>> >
>> > Dear sage-devel,
>> >
>> > When I update my sage version, I never do a fresh clone. I always pull the most recent develop branch. Everything always work.
>> >
>> > But now, my git status keeps telling me that build/pkgs/cunningham_tables/main.gz is modified and I found no way to get rid of that (git checkout build/pkgs/cunningham_tables/main.gz) does not work. I also try to commit the changes to a fake branch, but when I come back to develop, it is still there. I also tried git stash. Nothing works. That ghost thing is still there.
>> >
>> > Is build/pkgs/cunningham_tables/main.gz suppose to be in the git tree?
>>
>> there is nothing wrong with having binary files in git tree.
>> I can't reproduce what you describe.
>>
>> There is something funny with your git settings (old git?).
>
>
> maybe
>
> $ git --version
> git version 2.7.4
> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
sage-devel+...@googlegroups.com.