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) * ![]() |
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) * ![]() |
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) * ![]() |
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) * ![]() |
Date: 2012-10-15 10:49 |
See also #15871. | ||
msg240869 - (view) | Author: Carol Willing (willingc) * ![]() |
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 |