Pushing taking btw. 2 - 5 mins

[deech]

Hi all,
I was working on my "ProjectPeanutButter" repo today and pushing (minor) changes is taking between 2 - 5 mins. I tried once this morning and right now on different internet connections.

Thanks ,
-deech

[Thomas Hartman]

Hi Deech,

I just pushed a trivial change to a moderate size patch tag repo and
it was timely.

Have you tried

darcs optimize
darcs tag -m"tagged just to see if speeds things up..."

Not a true darcs expert here despite running patch tag -- you might
ask on darcs users list as well.

Thomas.

> --
> You received this message because you are subscribed to the Google Groups
> "patch-tag-users" group.
> To post to this group, send email to patch-t...@googlegroups.com.
> To unsubscribe from this group, send email to
> patch-tag-use...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/patch-tag-users?hl=en.
>

[deech]

Hi Thomas,
Thanks for the quick response. I made a mistake in my darcs repo and
included the compiled binary file which was almost 15MB. I think darcs
was choking on that file.

-deech

[Thomas Hartman]

Excellent, thanks for the update.