On Wed, Oct 2, 2019 at 10:09 AM Simon King <simon.k...@uni-jena.de> wrote: > > On 2019-10-02, Kwankyu Lee <ekwan...@gmail.com> wrote: > > Hera:sage-dev$ g version > > git version 2.23.0 > > $ git version > git version 2.7.4 > > May that be the problem, then?
Probably. That is a quite old version of git (~9 years old). I agree with you that it's a bug but probably one that's long-since been fixed. The problem you described sounds like a possible symptom of a larger bug that was fixed in v2.13: https://github.com/git/git/blob/53f9a3e157dbbc901a02ac2c73346d375e24978c/Documentation/RelNotes/2.13.0.txt#L79 Just a guess though. -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAOTD34Z%3Dju%3DgpZ9TY53wn9LPjEO66xrR5QVMhO%2BStmKZ37Zukw%40mail.gmail.com.
