On Sep 18, 2013 5:23 PM, "David Fishburn" <dfishburn....@gmail.com> wrote: > > > > > On Tue, Sep 17, 2013 at 8:33 PM, Duncan de Wet <duncande...@gmail.com> wrote: >> >> ... > > >> >> > >> > Is this not the right place to contact the maintainer of that file? >> > >> > | Duncan de Wet >> >> Never mind, I have found the Github page for that filetype so have done a pull >> request there. > > > Typically the Vim files have contact information at the top of them. > That is the way the maintainer should be contacted, not everyone subscribes to vim_use or vim_dev. > > I have seen my plugins on github and I have no idea how they get there. > So, if you did a "pull request" on github for any of my plugins, that would certainly not make it to me.
There is a mirror for all scripts on github. It is populated automatically from www.vim.org contents. > HTH, > David > > -- > -- > 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 vim_dev+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/groups/opt_out. -- -- 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 vim_dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.