Differential D7837

templates/layout: Remove no longer used topbar
ClosedPublic
Actions

Authored by anlambert on May 16 2022, 7:48 PM.

Details

Reviewers

ardumont

Group Reviewers

Reviewers

Commits

rDDOC2d59a18b56af: templates/layout: Remove no longer used topbar

Summary

It got displayed again after reintegration of custom CSS rules but
it should have been removed since a while.

See https://docs.softwareheritage.org/devel/

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 16 2022, 7:48 PM

Herald added a reviewer: Reviewers. · View Herald TranscriptMay 16 2022, 7:48 PM

Build is green

Patch application report for D7837 (id=28313)

Rebasing onto 4cb48b564f...

Current branch diff-target is up to date.

Changes applied before test

commit 2d59a18b56af75381e3f9c8bb0804140faf51f85
Author: Antoine Lambert <anlambert@softwareheritage.org>
Date:   Mon May 16 19:47:51 2022 +0200

    templates/layout: Remove no longer used topbar
    
    It got displayed again after reintegration of custom CSS rules but
    it should have been removed since a while.

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

Harbormaster completed remote builds in B29415: Diff 28313.May 16 2022, 8:00 PM

anlambert requested review of this revision.May 16 2022, 8:00 PM