[user432678]

Maybe one day, but after almost 15 years of using handful of git aliases I just can’t switch to anything else.