Github is just a mirror, and that is even explicitly state in the description of the repo. We can add more mirrors, but that does not resolve the confusion of people raising pull-requests on Github. And these invalid pull-requests isn't so bad an issue that we take down the Github mirror.
Avati
On Mon, May 27, 2013 at 11:19 PM, Nux! <nux@xxxxxxxxx> wrote:
On 28.05.2013 05:59, Justin Clift wrote:Why not then use another service? Github looks great if you want to collaborate, but since it's not the case you could try gitorious (?) or your own repos.
On 28/05/2013, at 2:20 PM, Anand Avati wrote:
Thanks for pointing. Disabled Issues. Not sure if Pull Requests can be disabled?
Thanks. That's interesting with pull requests... there's no obvious way to
disable them, which is extremely strange.
Seems to be a problem with GitHub not understanding (or wanting to believe)
there's actually a valid use case for it. Nor understanding it leads to
criticism and negative feelings towards a project when PR's are just ignored
or closed. :(
Lucian
--
Sent from the Delta quadrant using Borg technology!
Nux!
www.nux.ro
_______________________________________________
Gluster-devel mailing list
Gluster-devel@xxxxxxxxxx
https://lists.nongnu.org/mailman/listinfo/gluster-devel
