John Cremona wrote: git push --set-upstream trac intpoints:u/cremona/trac10973intpts > > The last operation took quite a while (10 minutes?) >
I noticed this too; what is causing this? Pushing one very small commit (669 bytes according to git push -v) took a comparable time for me. Peter -- You received this message because you are subscribed to the Google Groups "sage-git" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
