Rename developers.csv to core-team.csv

Author: hugovk

core-team/developers.csv core-team/core-team.csvcore-team/developers.csv renamed to core-team/core-team.csv

@@ -115,7 +115,7 @@ python.org admin
 devguide.python.org
 -------------------
 
-* The user is marked as deceased in `developers.csv <https://github.com/python/devguide/blob/main/core-team/developers.csv>`_;
+* The user is marked as deceased in `core-team.csv <https://github.com/python/devguide/blob/main/core-team/core-team.csv>`_;
 * The user is removed from the `experts index <https://github.com/python/devguide/blob/main/core-team/experts.rst>`_.
 
 bugs.python.org

core-team/memorialization.rst

@@ -11,7 +11,7 @@ information.)
 
 .. csv-table::
    :header: "Name", "GitHub username", "Joined", "Left", "Notes"
-   :file: developers.csv
+   :file: core-team.csv
    :encoding: "utf-8"
 
 Procedure for granting or dropping access