Move the 'error_reporter' config entry in a dedicated 'replayer' section

and improve the documentation of the replayer command.

---

Migrated from D6818 (view on Phabricator)

Build has FAILED

Patch application report for D6818 (id=24697)

Rebasing onto 86b8509f...

Current branch diff-target is up to date.

Changes applied before test

commit eb9e45cec1640d4b4656a5f11a4bbfb7f46c5868
Author: David Douard <david.douard@sdfa3.org>
Date:   Thu Dec 9 16:53:16 2021 +0100

    Move the 'error_reporter' config entry in a dedicated 'replayer' section
    
    and improve the documentation of the replayer command.

Link to build: https://jenkins.softwareheritage.org/job/DOBJSRPL/job/tests-on-diff/26/ See console output for more information: https://jenkins.softwareheritage.org/job/DOBJSRPL/job/tests-on-diff/26/console

fix the code and tests

Build is green

Patch application report for D6818 (id=24703)

Rebasing onto 86b8509f...

Current branch diff-target is up to date.

Changes applied before test

commit 4c2912ccb506d8fe825d80fd2c84d1bce6b982ec
Author: David Douard <david.douard@sdfa3.org>
Date:   Thu Dec 9 16:53:16 2021 +0100

    Move the 'error_reporter' config entry in a dedicated 'replayer' section
    
    and improve the documentation of the replayer command.

See https://jenkins.softwareheritage.org/job/DOBJSRPL/job/tests-on-diff/27/ for more details.

I assume you'll take care of val's remarks ;)

Merge request was accepted

approved this merge request

vlorentz' comment + update copyright timestamps

Build is green

Patch application report for D6818 (id=24927)

Rebasing onto fa5dfe03...

Current branch diff-target is up to date.

Changes applied before test

commit a2d1aa994400b23ce47b920266bf8cfd1810c43a
Author: David Douard <david.douard@sdfa3.org>
Date:   Thu Dec 9 16:53:16 2021 +0100

    Move the 'error_reporter' config entry in a dedicated 'replayer' section
    
    and improve the documentation of the replayer command.

See https://jenkins.softwareheritage.org/job/DOBJSRPL/job/tests-on-diff/28/ for more details.

Merge request was merged

closed