Mikko, mikko.koppa...@gmail.com said: > I'm not an expert in the field but I would like to chip in on this. > The github interface is a just a convenience on top pull requests and > provides things like syntax highlighted diffs, shows whether the > commit merges cleanly, allows commenting etc. > > If the problem with the interface is that it's not visible to users on > mailing-lists, we can most probably use github API to send an email to > mailing-lists when a new pull request is opened. I like the github > interface a lot and would like to see us using it more.
Sure, but then you still must have a github account to comment or apply/reject the pull request. So people not on Github cannot contribute, unlike the "pull request is an email" model. I guess it's the lock-in factor that annoys me personally, but then I'm old-school :-) -mato _______________________________________________ zeromq-dev mailing list zeromq-dev@lists.zeromq.org http://lists.zeromq.org/mailman/listinfo/zeromq-dev
