On 01.03.2013 01:58, Jean-Charles BERTIN wrote:
On Thu, 2013-02-28 at 14:13 +0000, David Chisnall wrote:
On 27 Feb 2013, at 23:44, Jean-Charles BERTIN <jc.ber...@axinoe.com> wrote:
OK I admit I did that too quickly but I have push my changes on github a
long time ago...
What is the point to make a github account if nobody reviews the pull
requests? Since I saw no feedbacks from github I decided to push my
patches on the mailing list: I did that by pushing every single git
commit as a patch to discuss them one-by-one. I'm ok with the reject of
some of them since I'm really new with GNUstep (but not with objc on
MacOS X).
The github mirror is just a mirror. It is read-only.
Of course I understand that since all the dev goes to your SVN
repository. GitHub is just a mirror. However I think you (the GNUstep
community) need to take a look sometimes at the pull requests posted on
GitHub. Otherwise, why did you create this GitHub account?
Ask the people who set up the mirror.
Is a non-maintained mirror worse than none at all?
Would you prefer to shut down the public access to the github mirror? Or
would it be sufficient to have some words on the main page telling
people to post requests on the GNUstep savannah page?
_______________________________________________
Gnustep-dev mailing list
Gnustep-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/gnustep-dev
