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

Branch

master

Lint

No Linters Available

Unit

No Unit Test Coverage

Build Status

Buildable 31321
Build 48997: Phabricator diff pipeline on jenkins	Jenkins console · Jenkins
Build 48996: arc lint + arc unit

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.