chiark / gitweb /
documentation: Use https links instead of git links.
authorVarun Gandhi <git@cutcul.us>
Sat, 7 May 2022 05:21:09 +0000 (22:21 -0700)
committerVarun Gandhi <git@cutcul.us>
Sat, 7 May 2022 05:21:17 +0000 (22:21 -0700)
commit419e1b65720a66e55c807b03ee385ea65b28e16b
tree5e511aee1472694d64fd39e05fa53bdfd4ff63ee
parent6f5c7d57ef653c288aa414d1fe065d8d7829785e
documentation: Use https links instead of git links.

GitHub no longer supports git:// links. Trying to
following the clone instructions leads to an error:
>  The unauthenticated git protocol on port 9418 is no longer supported.
> Please see https://github.blog/2021-09-01-improving-git-protocol-security-github/ for more information.
doc/documentation/doxygen.rst
doc/documentation/python.rst
doc/themes/pelican.rst