From 9f33a667008cc2ba5ee8d7a6acdb943a364ee795 Mon Sep 17 00:00:00 2001
From: hannah <story645@gmail.com>
Date: Tue, 2 May 2023 17:35:10 -0400
Subject: [PATCH] Change develop in nav bar to contribute

Way back when, this section of the docs was named contribute. We changed it to develop at some point but that feels too narrow so this restores the name of that section to contribute
---
 mpl_sphinx_theme/mpl_nav_bar.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mpl_sphinx_theme/mpl_nav_bar.html b/mpl_sphinx_theme/mpl_nav_bar.html
index 233ed84..7bf40c7 100644
--- a/mpl_sphinx_theme/mpl_nav_bar.html
+++ b/mpl_sphinx_theme/mpl_nav_bar.html
@@ -15,7 +15,7 @@
     <a class="reference internal nav-link" href="{{ mpl_path('users/index') }}">User guide</a>
   </li>
   <li class="nav-item">
-    <a class="reference internal nav-link" href="{{ mpl_path('devel/index') }}">Develop</a>
+    <a class="reference internal nav-link" href="{{ mpl_path('devel/index') }}">Contribute</a>
   </li>
   <li class="nav-item">
     <a class="reference internal nav-link" href="{{ mpl_path('users/release_notes') }}">Releases</a>