Revised `Repository.sync()` API doc, see #5014.
Authored by: cboos 2007-03-26
Parent: [r5141]
Child: [r5143]