<whereiseveryone irc:///whereiseveryone > hi, if there are multiple versions of a patch v1, v2, v3 etc. What is the recommended command to use for applying a particular version of that patch series? ...

<rjarry irc:///rjarry > whereiseveryone: this happens because contributors are using --in-reply-to $v1

Nicolas and Andrew see the above reply to me on #sr.ht on Libera.

Should we stop using --in-reply-to $v1 then and document that lists.sr.ht anti pattern for our users used to something else?

all best,

jgart

Also, does this last addition of debugpy get debugpy to be picked up for
you when running dape and choosing a config?

I haven't been able to test this yet.
-- 
all the best,
jgart

Hi Nicolas,

Do you have any suggestions for a better workflow for applying your
patches from this thread?

I tried the following:

curl -s https://lists.sr.ht/~abcdw/rde-devel/patches/54944/mbox | git am -3

But, I get a merge conflict:

Using index info to reconstruct a base tree...

Hi,

This feature was applied and tested with agda and a basic program like
the following:

data Greeting : Set where
  hello : Greeting

greet : Greeting
greet = hello

https://agda.readthedocs.io/en/latest/getting-started/hello-world.html

Ok, this is ready for review.

It works quite nicely and does not interfere with the tempel service.

WDYT
-- 
all the best,
jgart

Applied with the latest requests.

Thanks for all the reviews.
-- 
all the best,
jgart

Hi Nicolas,

Thanks! Applied.

-- 
all the best,
jgart

hi,

currently mbsync only runs from feature-l2md

i can imagine a user that only wants to run feature-isync but not
feature-l2md

the current issue is that feature-isync does not have an mcron job
associated with it

currently an mcron job only runs if both, feature-l2md and feature-isync
are both enabled

Hi, can you send the latest version for this?

The last patch does not apply cleanly and results in a merge conflict.

Thanks!

I can review it and apply it since I now have commit access.
-- 
all the best,
jgart

Hi,

I applied this patch. Thanks!
-- 
all the best,
jgart