Skip a bunch of useless "UPDATE repositories SET extra_info = ..." queries when navigating in repositories.
Authored by: jplang 2012-01-16
Parent: [r8657]
Child: [r8659]
