I somehow suspect this is solving the problem with a wrong tradeoff. This change only affects the project list page, which I think is simpler to deal with more aggressive caching (say, no more than once every 10 minutes even if some project pushed a new head in the meantime). Not a firm refusal, but something to think about. - 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