Serg Tereshchenko

@last-partizan on GitHub. Posts as serg.partizan@gmail.com.

messages

patches posted

33%

of 3 series merged

threads started

2020

first message, Aug 22, 2020

Jun 23, 2024

since the latest message

Messages per year

The last 24 months

Patch series

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

not mergedFix default font scalingJun 15, 2024
mergedgit-gui: Basic dark mode supportv2, Nov 22, 2020, 4d22c0505f
not mergedstyle(git-gui): Fix mixed tabs & spaces; Prefer tabs.v2, Aug 22, 2020

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

Jun 23, 2024Re: [PATCH] Fix default font scaling
Jun 23, 2024Re: [PATCH] Fix default font scaling
Jun 21, 2024Re: [PATCH] Fix default font scaling
Jun 20, 2024Re: [PATCH] Fix default font scaling
Jun 16, 2024Re: [PATCH] Fix default font scaling
Jun 15, 2024Fix default font scaling
Nov 30, 2020Re: [PATCH] git-gui: use gray selection background for inactive text widgets
Nov 23, 2020Re: [PATCH] git-gui: Fix selected text colors
Nov 23, 2020Re: [PATCH] git-gui: use gray selection background for inactive text widgets
Nov 23, 2020Re: [PATCH] git-gui: use gray selection background for inactive text widgets
Nov 22, 2020Re: [PATCH] git-gui: Fix selected text colors
Nov 22, 2020git-gui: Fix selected text colors
Nov 22, 2020Re: [PATCH v2] git-gui: Basic dark mode support
Oct 30, 2020Re: git-gui: Why are the main panels no longer white?
Oct 29, 2020Re: git-gui: Why are the main panels no longer white?
Oct 29, 2020RE: git-gui: Why are the main panels no longer white?
Oct 29, 2020RE: git-gui: Why are the main panels no longer white?
Oct 29, 2020Reply
Oct 29, 2020RE: git-gui: Why are the main panels no longer white?
Oct 29, 2020RE: git-gui: Why are the main panels no longer white?
Oct 8, 2020Re: [PATCH] git-gui: Basic dark mode support
Oct 8, 2020Re: [PATCH] git-gui: Basic dark mode support
Oct 8, 2020Re: [PATCH] git-gui: Basic dark mode support
Sep 26, 2020git-gui: Basic dark mode support
Sep 9, 2020Re: [PATCH v2] style(git-gui): Fix mixed tabs & spaces; Prefer tabs.
Aug 24, 2020git-gui: Basic dark mode support
Aug 22, 2020style(git-gui): Fix mixed tabs & spaces; Prefer tabs.
Aug 22, 2020style(git-gui): Fix mixed tabs & spaces; Always use tabs.