# Make a callback to a local varnish server to purge a repository
# from it. Assumes gitweb style URLs.
# Also, purge the actual http serving git repo itself.
- for u in ['^/gitweb/?$',
- '^/gitweb/\?p=%s.git' % reponame,
- '^/git/%s' % reponame]:
+ for u in [
+ r'^/gitweb/?$',
+ r'^/gitweb/\?p=%s.git' % reponame,
+ r'^/git/%s' % reponame,
+ ]:
if not self._internal_purge(u):
print("Varnish purge failed, website may become slightly out of date")
return