<div dir="auto"><div class="gmail_extra" dir="auto"><div class="gmail_quote">Le 10 déc. 2017 23:10, "Ned Deily" <<a href="mailto:nad@python.org">nad@python.org</a>> a écrit :</div><div class="gmail_quote" dir="auto">> But on the other, it does add a large non-zero burden to all core developers (...)</div><div class="gmail_quote" dir="auto"><br></div><div class="gmail_quote" dir="auto">I reviewed some of the Android' pull requests. Most changes are small and self contained.</div><div class="gmail_quote" dir="auto"><br></div><div class="gmail_quote" dir="auto">> As long as Xavier is willing to keep supporting the platform, the first requirement, having a core developer, should be met.  But for a platform that, understandably, has as many special requirements as Android does, the second requirement, having a stable buildbot, seems to me to be an absolute necessity, and the PEP needs to address exactly what sort of buildbot requirements make sense here: emulators, SDKs, etc.</div><div class="gmail_quote" dir="auto"><br></div><div class="gmail_quote" dir="auto">Xavier is a core dev and wants to add a buildbot to finish to support of Android.</div><div class="gmail_quote" dir="auto"><br></div><div class="gmail_quote" dir="auto">Victor</div></div></div>