On Wed, May 4, 2011 at 8:03 PM, Thomas Hartman
<thomashartm...@googlemail.com> wrote:I had tried that several times with no benefit. For some reason,
> I'm not sure either. But...
> "Permissions errors on darcs push
> There's a patch-tag bug that prevents darcs push in some instances due
> Does that help?
however, immediately after I sent my email, I tried pushing again and
it worked. I did nothing different.
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.