DOC fix glossary link (#23534)

lesteve · thomasjpfan · ogrisel · web-flow · commit 6848f41baa1e · 2022-06-06T12:40:56.000+02:00
Co-authored-by: Thomas J. Fan &lt;thomasjpfan@gmail.com&gt;
Co-authored-by: Olivier Grisel &lt;olivier.grisel@ensta.org&gt;
diff --git a/build_tools/github/build_doc.sh b/build_tools/github/build_doc.sh
@@ -20,7 +20,8 @@ set -e
 if [ -n "$GITHUB_ACTION" ]
 then
     # Map the variables for the new documentation builder to the old one
-    CIRCLE_SHA1=$(git log --no-merges -1 --pretty=format:%H)
+    CIRCLE_SHA1=$(git log -1 --pretty=format:%H)
+
     CIRCLE_JOB=$GITHUB_JOB
 
     if [ "$GITHUB_EVENT_NAME" == "pull_request" ]
diff --git a/doc/developers/performance.rst b/doc/developers/performance.rst
@@ -268,7 +268,7 @@ Then, setup the magics in a manner similar to ``line_profiler``.
 - **Under IPython 0.11+**, first create a configuration profile:
 
 .. prompt:: bash $
-  
+
     ipython profile create
 
 
@@ -425,4 +425,4 @@ See `joblib documentation <https://joblib.readthedocs.io>`_
 A simple algorithmic trick: warm restarts
 =========================================
 
-See the glossary entry for `warm_start <http://scikit-learn.org/dev/glossary.html#term-warm-start>`_
+See the glossary entry for :term:`warm_start`
