Michael J Gruber wrote: > git-tools.txt is outdated Yeah. I think it has a nice style, but it is not very useful any more. Maybe some day someone will want to revive it by automatically freezing the list from the wiki now and then (or similar). > remove it from the tree. For what it's worth, Acked-by: Jonathan Nieder <jrnieder@xxxxxxxxx> -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html