Differential D7752

uri-scheme-identifiers
ClosedPublic
Actions

Authored by anlambert on May 6 2022, 11:32 AM.

Details

Reviewers

vlorentz

Group Reviewers

Reviewers

Commits

rDDOC8eb04fcd8a13: sphinx/conf.py: Add redirect for swh-web/uri-scheme-identifiers

Summary

Corresponding RST document has been renamed to uri-scheme-swhids.rst
so add a redirection for URL backward compatibility.

Related to D7746

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

anlambert created this revision.May 6 2022, 11:32 AM

Herald added a reviewer: Reviewers. · View Herald TranscriptMay 6 2022, 11:32 AM

Build is green

Patch application report for D7752 (id=28048)

Rebasing onto bb30c44cca...

Current branch diff-target is up to date.

Changes applied before test

commit 8eb04fcd8a134a323899c15192d55cbd8567daad
Author: Antoine Lambert <anlambert@softwareheritage.org>
Date:   Fri May 6 11:31:22 2022 +0200

    sphinx/conf.py: Add redirect for swh-web/uri-scheme-identifiers
    
    Corresponding RST document has been renamed to uri-scheme-swhids.rst
    so add a redirection for URL backward compatibility.

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

Harbormaster completed remote builds in B29119: Diff 28048.May 6 2022, 11:44 AM

anlambert requested review of this revision.May 6 2022, 11:44 AM

anlambert mentioned this in D7746: docs: Add /raw/(swhid)/ endpoint in Web API documentation.May 6 2022, 11:44 AM

anlambert edited the summary of this revision. (Show Details)

vlorentz accepted this revision.May 6 2022, 11:57 AM

This revision is now accepted and ready to land.May 6 2022, 11:57 AM

Closed by commit rDDOC8eb04fcd8a13: sphinx/conf.py: Add redirect for swh-web/uri-scheme-identifiers (authored by anlambert). · Explain WhyMay 6 2022, 1:44 PM

This revision was automatically updated to reflect the committed changes.

anlambert added a commit: rDDOC8eb04fcd8a13: sphinx/conf.py: Add redirect for swh-web/uri-scheme-identifiers.