some helpful git tools