> > 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. 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? In the meantime, committers, please try to remember and change the # into GH- :) -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.python.org/pipermail/python-dev/attachments/20180125/b94ca3dd/attachment.html>
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4