Beat Bolli

@bbolli on GitHub. Posts as bbolli@ewanet.ch.

messages

patches posted

25%

of 4 series merged

threads started

2012

first message, Feb 18, 2012

Jul 7, 2017

since the latest message

Messages per year

The last 24 months

Patch series

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

not mergedpretty: add --date=iso-strict, a strict ISO-8601 date formatv3, Aug 29, 2014
not mergedpretty: Provide a strict ISO8601 date formatv2, Aug 29, 2014
mergedgit-gui: Fix a loose/lose mistakeAug 18, 2012, 9ef750875a
not mergedcherry-pick -x: always insert an empty lineFeb 18, 2012

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

Jul 7, 2017Re: [PATCH] unicode: update the width tables to Unicode 10
Dec 19, 2014Re: [PATCH 4/5] update_unicode.sh: Make the output structure visible
Dec 19, 2014Re: [PATCH 1/5] update_unicode.sh: simplify output capture
Aug 29, 2014Re: [PATCH v2] pretty: Provide a strict ISO8601 date format
Aug 29, 2014Re: [PATCH v2] pretty: Provide a strict ISO8601 date format
Aug 29, 2014pretty: add --date=iso-strict, a strict ISO-8601 date format
Aug 29, 2014pretty: Provide a strict ISO8601 date format
Aug 28, 2014pretty: Provide a strict ISO8601 date format
Aug 18, 2012git-gui: remove .git/CHERRY_PICK_HEAD after committing
Aug 18, 2012git-gui: Fix a loose/lose mistake
Feb 23, 2012Re: [PATCH] cherry-pick -x: always insert an empty line
Feb 18, 2012cherry-pick -x: always insert an empty line