Adds a user-agent to reposman (#6735).
Authored by: jplang 2010-10-24
Parent: [r4287]
Child: [r4289]