docs: add image of all Open MPI github contributors

Many thanks to https://contrib.rocks/ for this cool picture! Signed-off-by: Jeff Squyres <[email protected]>
open-mpi · Dec 30, 2024 · 963213d · 963213d
1 parent 88cd4a5
commit 963213d
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/docs/index.rst b/docs/index.rst
@@ -82,3 +82,11 @@ Table of contents
    history
    man-openmpi/index
    man-openshmem/index
+
+Contributors
+============
+
+A gigantic "thank you!" to all of our contributors:
+
+.. image:: https://contrib.rocks/image?repo=open-mpi/ompi&max=999
+   :target: https://github.com/open-mpi/ompi/graphs/contributors