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.
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 -> closed nosy: + willingc messages: + msg240869 resolution: fixed |
| 2012年10月15日 10:49:38 | ezio.melotti | set | messages: + msg172957 |
| 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: + msg172902 |
| 2012年10月14日 17:37:28 | eric.araujo | set | messages: + msg172894 |
| 2012年10月14日 05:41:36 | chris.jerdonek | create | |