Refactor Git gutters... (#135)
Fix pushing bug...