> > That would be best solution (I think it would solve > https://github.com/python/miss-islington/issues/16 too) but it's more > complicated than the extension idea :) I have some time work on it if > you'd like to implement the mergebot idea.
+1 for the mergebot! :) New bot or miss-islington's new job? Still +1 either way, as long as other core devs are fine with it too :) Mariatta Wijaya
_______________________________________________ Python-Dev mailing list [email protected] https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com