From e994d68d3257f2fe397e34e87583d098f19eea8e Mon Sep 17 00:00:00 2001 From: Lucy Liu Date: Tue, 20 Jun 2023 12:59:01 +1000 Subject: [PATCH 1/2] update link to search inside 1 file --- doc/developers/contributing.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/developers/contributing.rst b/doc/developers/contributing.rst index 043c47bb801f8..ff8e446704171 100644 --- a/doc/developers/contributing.rst +++ b/doc/developers/contributing.rst @@ -763,7 +763,7 @@ To build the PDF manual, run: versions of Sphinx as possible, the different versions tend to behave slightly differently. To get the best results, you should use the same version as the one we used on CircleCI. Look at this - `GitHub search `_ + `GitHub search `_ to know the exact version. Guidelines for writing documentation From 76714623b312c6b44067ee2f3722cd68a50d1e1f Mon Sep 17 00:00:00 2001 From: Lucy Liu Date: Wed, 21 Jun 2023 15:30:09 +1000 Subject: [PATCH 2/2] [Empty] trigger CI