[issue16222] server-side clone not found by devguide's search box
É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 rep...@bugs.python.org http://bugs.python.org/issue16222 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue16222] server-side clone not found by devguide's search box
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 tracker rep...@bugs.python.org http://bugs.python.org/issue16222 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue16222] server-side clone not found by devguide's search box
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: chris.jerdonek, eric.araujo, ezio.melotti, ncoghlan priority: normal severity: normal status: open title: server-side clone not found by devguide's search box type: enhancement ___ Python tracker rep...@bugs.python.org http://bugs.python.org/issue16222 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com