Rename developers.csv to core-team.csv

python · hugovk · Jul 5, 2025 · Jun 28, 2025 · Jun 28, 2025 · Jun 28, 2025
commit 429f153a248074cab2dca93bfec4d4a03f30133e
diff --git a/core-team/developers.csv → core-team/core-team.csv b/core-team/developers.csv → core-team/core-team.csv
diff --git a/core-team/memorialization.rst b/core-team/memorialization.rst
@@ -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

diff --git a/core-team/team-log.rst b/core-team/team-log.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