The new Git Extensions Manual repository