Adds the repository identifier in the activity and search results (#779).
Authored by: jplang 2012-03-24
Parent: [r9256]
Child: [r9258]