< a quantity that can be divided into another a whole number of time />

April 21, 2019

I guess when you have some time to spare on a Sunday evening, you can just push a bunch of commits using the wrong user <email> values (probably updated by SourceTree that I just relaunched for the first time two days ago), right? In this case, this was very helpful. For fancier version, see How to change the commit author for one specific commit?