Issue 16222: some terms not found by devguide's search box (original) (raw)

Issue16222

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: http://docs.python.org/devguide/committing.html#long-term-development-of-features
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.
History
Date User Action Args
2022-04-11 14:57:37 admin set github: 60426
2015-04-14 10:59:02 willingc set status: open -> closednosy: + willingcmessages: + resolution: fixed
2012-10-15 10:49:38 ezio.melotti set messages: +
2012-10-14 18:39:37 chris.jerdonek set title: "server-side clone" not found by devguide's search box -> some terms not found by devguide's search box
2012-10-14 18:39:20 chris.jerdonek set messages: +
2012-10-14 17:37:28 eric.araujo set messages: +
2012-10-14 05:41:36 chris.jerdonek create