Page MenuHomeSoftware Heritage

FAQ: point to developer setup + minor fixes
ClosedPublic

Authored by zack on Oct 27 2021, 4:48 PM.

Diff Detail

Repository
rDDOC Development documentation
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

Build is green

Patch application report for D6567 (id=23862)

Rebasing onto c7efdcff90...

Current branch diff-target is up to date.
Changes applied before test
commit fb65fe621e4bfd02de4d215b7548b2b504dc777b
Author: Stefano Zacchiroli <zack@upsilon.cc>
Date:   Wed Oct 27 16:47:58 2021 +0200

    FAQ: point to developer setup + minor fixes

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

zack requested review of this revision.Oct 27 2021, 4:58 PM
This revision is now accepted and ready to land.Oct 27 2021, 5:18 PM

Build is green

Patch application report for D6567 (id=23881)

Rebasing onto e6b0c5010c...

Current branch diff-target is up to date.
Changes applied before test
commit 7e3d259a1598706dff7caf31cd09a4bbf0f13ee8
Author: Stefano Zacchiroli <zack@upsilon.cc>
Date:   Wed Oct 27 16:47:58 2021 +0200

    FAQ: point to developer setup + minor fixes

See https://jenkins.softwareheritage.org/job/DDOC/job/build-on-diff/31/ for more details.

This revision was automatically updated to reflect the committed changes.