[ci skip] Add docs on github eduction plan signup

Author: rjfarmer

docs/source/developing/infrastructure.rst

@@ -14,6 +14,25 @@ privileges.  MESAHub is classified as an educational organization and
 this currently grants us a 100% discount, meaning this costs $0/yr.
 Unsubsidized, it would cost about $1200/yr.
 
+To classify MESAHub as an eduction account requires someone in the MESAHub
+organization to sign up for a eduction plan. This requires that the user has
+an University ID card with an expiry date (this is important). Steps to get
+access to this:
+
+- Add your university email address to Github.
+- Follow instructions `Apply to Github Global campus <https://docs.github.com/en/education/explore-the-benefits-of-teaching-and-learning-with-github-education/github-global-campus-for-teachers/apply-to-github-global-campus-as-a-teacher>`__
+- It is set up, if you have access to this https://github.com/community/Global-Campus-Teachers repository
+- Github claims they will periodically require revalidation of your credentials, so this may need repeating in the future.
+
+If MESAHub gets unsynced from this and is no long on the eduction plan:
+
+- Goto `Global campus <https://education.github.com/globalcampus/teacher#>`__
+- Find ``Upgrade your academic organizations``
+- Click ``Upgrade to Github Team``
+- Upgrade ``MESAHub``
+
+This is currently tied to Rob's account.
+
 mesastar.org
 ------------