1. Tools for writing about Git