Git tools for teamwork.