On Thu, Jan 25, 2018 at 9:03 PM, Mariatta Wijaya <mariatta.wij...@gmail.com> wrote: >> Of course, we would still need to convince people to install it :) > > > Right, that's the challenge :) > I personally use Chrome (!) and I've been using your Chrome extension, so > thank you! > However, I don't feel comfortable making this available only for a specific > browser user, feels exclusionary to me.
Thanks to Milan Oberkirch, the version in the master branch uses WebExtension API so it should be easy make it run on Firefox (I don't know if it works on other browsers though) > Also, sometimes I merge from my phone where there's no chrome extension, > (maybe I really shouldn't be doing that?). > > I think the solution should be something not webbrowser specific. > > One idea is maybe have a bot to do the squash commit, for example by > commenting on GitHub: > @merge-bot merge <commit title> <commit message> > > So core devs can do the above instead of pressing the commit button. Any > thoughts on this? 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. --Berker _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
