tobias.boesch@miele.com

@ToBoMi on GitHub. Posts as tobias.boesch@miele.com.

messages

patches posted

of 3 series merged

threads started

2024

first message, Aug 27, 2024

Dec 4, 2025

since the latest message

Messages per year

The last 24 months

Patch series

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

not mergedgitk: fix history window panes positionDec 4, 2025
not mergedAW: [PATCH v2] gitk: added external diff file rename detectionv5, Jun 13, 2025
not mergedAW: [PATCH] git gui: add directly calling merge tool from gitconfigv5, Nov 7, 2024

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

Dec 4, 2025AW: [PATCH] gitk: fix history window panes position
Dec 3, 2025AW: [PATCH] gitk: fix history window panes position
Dec 2, 2025gitk: fix history window panes position
Jun 13, 2025AW: [PATCH v5] gitk: add external diff file rename detection
Jun 10, 2025AW: [PATCH v4] gitk: add external diff file rename detection
Apr 28, 2025AW: [PATCH v3] gitk: added external diff file rename detection
Nov 28, 2024Understanding the diff output in gitk when comparing a commit with working tree
Nov 7, 2024AW: [PATCH v5] git gui: add directly calling merge tool from configuration
Oct 2, 2024AW: [PATCH v2] gitk: added external diff file rename detection
Sep 16, 2024AW: [PATCH v5] git gui: add directly calling merge tool from configuration
Sep 11, 2024AW: [PATCH v3] git gui: add directly calling merge tool from gitconfig
Sep 6, 2024AW: [PATCH v2] git gui: add directly calling merge tool from gitconfig
Sep 5, 2024AW: [PATCH v2] git gui: add directly calling merge tool from gitconfig
Aug 27, 2024AW: [PATCH] git gui: add directly calling merge tool from gitconfig
Aug 27, 2024AW: [PATCH] git gui: add directly calling merge tool from gitconfig