Hi John!

On Mi, 25 Mär 2015, John Szakmeister wrote:

> On Wed, Mar 25, 2015 at 11:47 AM, Christian Brabandt <[email protected]> 
> wrote:
> > Am 2015-03-25 16:21, schrieb Bruno Sutic:
> [snip]
> >> I'm curious, when a switch is made, will Github's "pull request"
> >> feature be used? Or will code contributions still be done with patches
> >> via mailing list?
> >
> >
> > I don't know. But notice the first pull request just arrived:
> > https://github.com/vim/vim/pull/349
> >
> > If pull requests are not wanted, they would need to be disabled. Don't know
> > if
> > this would be possible.
> 
> Just wanted to answer this: it's not possible to disable pull requests
> on GitHub.

Okay, I hope this ok for Bram. We already have 3 pull requests (for this 
playground repository, that will be wiped...)

Best,
Christian
-- 
Es ist unmöglich, Staub aufzuwirbeln, ohne daß einige Leute husten.
                -- Erwin Piscator

-- 
-- 
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php

--- 
You received this message because you are subscribed to the Google Groups 
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Raspunde prin e-mail lui