Differential D8393

Remove documentation of deleted endpoint
ClosedPublic
Actions

Authored by vlorentz on Sep 5 2022, 4:19 PM.

Details

Reviewers

anlambert

Group Reviewers

Reviewers

Commits

rDGRPHdd88f177c357: Remove documentation of deleted endpoint

Summary

Deleted by f098232f4282e05606f433ccf10d9c0c66fd384b.

Diff Detail

Repository

rDGRPH Compressed graph representation

Lint

Automatic diff as part of commit; lint not applicable.

Unit

Automatic diff as part of commit; unit tests not applicable.

Event Timeline

vlorentz created this revision.Sep 5 2022, 4:19 PM

Herald added a reviewer: Reviewers. · View Herald TranscriptSep 5 2022, 4:19 PM

Build is green

Patch application report for D8393 (id=30289)

Rebasing onto 7fc73d6150...

Current branch diff-target is up to date.

Changes applied before test

commit dd88f177c357dc36a99e9caefbad314c9505c72f
Author: Valentin Lorentz <vlorentz@softwareheritage.org>
Date:   Mon Sep 5 16:19:00 2022 +0200

    Remove documentation of deleted endpoint
    
    Deleted by f098232f4282e05606f433ccf10d9c0c66fd384b.

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

Harbormaster completed remote builds in B31321: Diff 30289.Sep 5 2022, 4:24 PM

vlorentz requested review of this revision.Sep 5 2022, 4:24 PM

anlambert accepted this revision.Sep 5 2022, 4:24 PM

This revision is now accepted and ready to land.Sep 5 2022, 4:24 PM

Closed by commit rDGRPHdd88f177c357: Remove documentation of deleted endpoint (authored by vlorentz). · Explain WhySep 5 2022, 4:38 PM

This revision was automatically updated to reflect the committed changes.

vlorentz added a commit: rDGRPHdd88f177c357: Remove documentation of deleted endpoint.