antmicro / sdi-mipi-bridge

Antmicro's open source 3G SDI into MIPI CSI-2 converter
https://antmicro.github.io/sdi-mipi-bridge/
Apache License 2.0
18 stars 8 forks source link

docs/conf: update #1

Closed umarcor closed 1 year ago

umarcor commented 1 year ago

This PR updates the docs configuration to provide gh_slug when calling antmicro_html. That allows having the repo at the right of the navbar and showing the commit and branch in the footer.