📝 Show a link to Trio GitHub repo instead of TrioDocs

Use nightscout/Trio instead of `nightscout/trio-docs`
The overridden template is used in the header, footer and navigation
(on small screens).
Fixes nightscout#92

mkdocs.yml

@@ -102,7 +102,7 @@ extra_javascript:
 extra:
   social:
     - icon: fontawesome/brands/github
-      link: https://github.com/nightscout/trio-docs
+      link: https://github.com/nightscout/Trio
       name: Trio on GitHub
     - icon: fontawesome/brands/discord
       link: https://discord.gg/FnwFEFUwXE

overrides/partials/source.html

@@ -0,0 +1,8 @@
+{#- Override mkdocs-material theme to show the nightscout/Trio GitHub repository instead nightscout/trio-docs -#}
+<a href="https://github.com/nightscout/Trio/" title="{{ lang.t('source') }}" class="md-source" data-md-component="source">
+  <div class="md-source__icon md-icon">
+    {% set icon = config.theme.icon.repo or "fontawesome/brands/git-alt" %} {%
+    include ".icons/" ~ icon ~ ".svg" %}
+  </div>
+  <div class="md-source__repository">nightscout/Trio</div>
+</a>