Éric Araujo added the comment:
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.
--
___
Python tracker
Chris Jerdonek added the comment:
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.
--
___
Python
New submission from Chris Jerdonek:
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
--
components: Devguide
messages: 172849
nosy: