Last modified: 2013-11-21 05:12:21 UTC
Whenever a repository changes state, the relevant pages in git.wikimedia.org should be purged from Varnish. Currently cache expiration is not tied to Git activity, with the consequence that git.wm.o views are often stale. This could be accomplished by writing a small tool that subscribes to Gerrit's event stream (like grrrit-wm). On each merged commit, the tool would construct the set of URLs that need to be updated, and purge them from Varnish.