This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Title: some terms not found by devguide's search box
Type: enhancement Stage:
Components: Devguide Versions:
Status: closed Resolution: fixed
Dependencies: Superseder:
Assigned To: Nosy List: chris.jerdonek, eric.araujo, ezio.melotti, ncoghlan, willingc
Priority: normal Keywords:

Created on 2012-10-14 05:41 by chris.jerdonek, last changed 2022-04-11 14:57 by admin. This issue is now closed.

Messages (5)
msg172849 - (view) Author: Chris Jerdonek (chris.jerdonek) * (Python committer) Date: 2012-10-14 05:41
Neither searching for "server-side" nor "clone" in the devguide "Quick Search" box pulls up the mention of server-side clones:
msg172894 - (view) Author: Éric Araujo (eric.araujo) * (Python committer) Date: 2012-10-14 17:37
Not sure this needs more exposure.  New core developers will learn about that feature from other devs, and contributors (the primary audience of the devguide) can't use these repos.
msg172902 - (view) Author: Chris Jerdonek (chris.jerdonek) * (Python committer) Date: 2012-10-14 18:39
I filed this in case it signals some underlying issue with search that could use improving (and that may affect other search terms).  I can change the title to remove the focus on those two terms.
msg172957 - (view) Author: Ezio Melotti (ezio.melotti) * (Python committer) Date: 2012-10-15 10:49
See also #15871.
msg240869 - (view) Author: Carol Willing (willingc) * (Python committer) Date: 2015-04-14 10:59
Reviewed this issue's history at PyCon sprint. The devguide now provides results if searched for 'server side' or 'clone'. This issue is resolved.

If additional search terms are required in the index, it is recommended that a new issue with specific terms be filed against the devguide. Thanks.
Date User Action Args
2022-04-11 14:57:37adminsetgithub: 60426
2015-04-14 10:59:02willingcsetstatus: open -> closed

nosy: + willingc
messages: + msg240869

resolution: fixed
2012-10-15 10:49:38ezio.melottisetmessages: + msg172957
2012-10-14 18:39:37chris.jerdoneksettitle: "server-side clone" not found by devguide's search box -> some terms not found by devguide's search box
2012-10-14 18:39:20chris.jerdoneksetmessages: + msg172902
2012-10-14 17:37:28eric.araujosetmessages: + msg172894
2012-10-14 05:41:36chris.jerdonekcreate