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! <n...@li.nux.ro> wrote: > On 28.05.2013 05:59, Justin Clift wrote: > >> 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. :( >> > > 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. > > Lucian > > -- > Sent from the Delta quadrant using Borg technology! > > Nux! > www.nux.ro > > > ______________________________**_________________ > Gluster-devel mailing list > Gluster-devel@nongnu.org > https://lists.nongnu.org/**mailman/listinfo/gluster-devel<https://lists.nongnu.org/mailman/listinfo/gluster-devel> >
_______________________________________________ Gluster-devel mailing list Gluster-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/gluster-devel
