Pretty Magit - Integrating commit leaders. I have been using Git leaders for almost two years, but now I realize that I completely forgot about them.