Re: [linuxtools-dev] Pull requests on GitHub need closing, I think

[akurtakov <akurtakov@xxxxxxxxx>]

Honestly, I would prefer if this repo is removed. I don't want to spend time losing time to watch all kind of third party services like github, gitorious and etc. :). Not to mention that this doesn't play with gerrit integration at all AFAIK.

As the pull requests were sent by people already active or even committers on the project I would prefer if they handle it themselves.

If people want to play with github - fine but I can't trade it for the compile validation of gerrit myself.

Alex

On Mon, Mar 25, 2013 at 9:23 PM, Andrew Overholt <overholt@xxxxxxxxx> wrote:

Hi,

If these got moved to Bugzilla or Gerrit, can we close them out on GitHub?

  https://github.com/eclipse/linuxtools/pulls

Thanks,

Andrew

_______________________________________________
linuxtools-dev mailing list
linuxtools-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/linuxtools-dev