This repository was archived by the owner on Aug 14, 2021. It is now read-only.
This repository was archived by the owner on Aug 14, 2021. It is now read-only.
Feature request: link to repository link in header #127
Description
Follow convention and put "repository" link in the right side of the header. Useful when docs are the first search result.