docs: remove old pull mirror implementation

nicoklaus · nejch · commit 9e186726c8a5 · 2025-01-28T11:50:03.000+01:00
diff --git a/docs/gl_objects/projects.rst b/docs/gl_objects/projects.rst
@@ -246,14 +246,6 @@ Get a list of users for the repository::
     # search for users
     users = p.users.list(search='pattern')
 
-Start the pull mirroring process (EE edition)::
-
-    project.mirror_pull()
-
-Get a project’s pull mirror details (EE edition)::
-
-    mirror_pull_details = project.mirror_pull_details()
-
 Import / Export
 ===============
 
