Remove the unused dependency on sphinx-tabs
ClosedPublic
Actions

Authored by lunar on Nov 29 2022, 9:24 AM.

Details

Reviewers

ardumont

Group Reviewers

Reviewers

Commits

rDDOCa805f6abc5b5: Remove the unused dependency on sphinx-tabs

Summary

sphinx-tabs defines tabs and tab directives which are currently unused.
sphinx-design provides tabs with the equivalent tab-set and tab-item. No
need to keep both dependencies.

Thanks to douardda for noticing.

Diff Detail

Repository

rDDOC Development documentation

Branch

migrate-to-sphinx-design

Lint

No Linters Available

Unit

No Unit Test Coverage

Build Status

Buildable 33000
Build 51720: Phabricator diff pipeline on Jenkins for swh-docs	Jenkins console · Jenkins
Build 51719: arc lint + arc unit

Event Timeline

lunar created this revision.Nov 29 2022, 9:24 AM

Herald added a reviewer: Reviewers. · View Herald TranscriptNov 29 2022, 9:24 AM

Build is green

Patch application report for D8895 (id=32054)

Rebasing onto efc9557593...

Current branch diff-target is up to date.

Changes applied before test

commit a805f6abc5b57193cca7b008d212f091751f21fb
Author: Jérémy Bobbio (Lunar) <lunar@softwareheritage.org>
Date:   Tue Nov 29 09:20:27 2022 +0100

    Remove the unused dependency on sphinx-tabs
    
    Thanks to douardda for noticing.

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

Harbormaster completed remote builds in B33000: Diff 32054.Nov 29 2022, 9:30 AM

lunar requested review of this revision.Nov 29 2022, 9:30 AM

ardumont accepted this revision.Nov 29 2022, 10:11 AM

This revision is now accepted and ready to land.Nov 29 2022, 10:11 AM

Closed by commit rDDOCa805f6abc5b5: Remove the unused dependency on sphinx-tabs (authored by lunar). · Explain WhyNov 29 2022, 10:17 AM

This revision was automatically updated to reflect the committed changes.

lunar added a commit: rDDOCa805f6abc5b5: Remove the unused dependency on sphinx-tabs.