Robin Jarry

Posts as robin.jarry@6wind.com.

messages

patches posted

of 1 series merged

threads started

2021

first message, Nov 4, 2021

Feb 7, 2022

since the latest message

Messages per year

The last 24 months

Patch series

Of 1 patch series (re-rolls counted once), 0 landed on master and 1 did not.

not mergedreceive-pack: interrupt pre-receive when client disconnectsv4, Jan 28, 2022

A series is merged when one of its patches matches a commit on master by the same author, by subject. Versions are linked when they share a patch subject. Patches reworded before landing, or applied under someone else's name, count as not merged.

Recent emails

Feb 7, 2022Re: [PATCH v4] receive-pack: check if client is alive before completing the push
Jan 28, 2022receive-pack: check if client is alive before completing the push
Jan 28, 2022Re: [PATCH v3] receive-pack: check if client is alive before completing the push
Jan 28, 2022Re: [PATCH v3] receive-pack: check if client is alive before completing the push
Jan 27, 2022receive-pack: check if client is alive before completing the push
Jan 27, 2022Re: [PATCH v2] receive-pack: add option to interrupt pre-receive when client exits
Jan 27, 2022Re: [PATCH v2] receive-pack: add option to interrupt pre-receive when client exits
Jan 27, 2022Re: [PATCH v2] receive-pack: add option to interrupt pre-receive when client exits
Jan 26, 2022receive-pack: add option to interrupt pre-receive when client exits
Jan 26, 2022Re: [PATCH] receive-pack: interrupt pre-receive when client disconnects
Jan 25, 2022receive-pack: interrupt pre-receive when client disconnects
Dec 29, 2021Re: [RFC PATCH] receive-pack: interrupt pre-receive when client disconnects
Nov 10, 2021receive-pack: interrupt pre-receive when client disconnects
Nov 6, 2021Re: [RFC PATCH] receive-pack: run post-receive before reporting status
Nov 4, 2021receive-pack: run post-receive before reporting status