Skip to content

Fix repo button through html_theme_options and add gitignore

Huib Baetsenrequested to merge
1-repo_button_fix into main

Closes #1 (closed)

Merge request reports