Hi,do you mean git-prune-script? It is documented in Documentation/git-prune-script.txt.
Ciao, Dscho - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html
