2016-04-18 21:25 GMT+03:00 Bram Moolenaar <b...@moolenaar.net>: > > Kazunobu wrote: > >> It looks src/testdir/test_tagjump.vim is missing in the GitHub repo. >> >> This is shown in the repo as patch 7.4.1751: >> https://github.com/vim/vim/commit/def5abe0a2727041ecee69afdccfca405333bd24 > > git add > git add > git add > git add > git add > git add > git add > git add > git add > > Keep forgetting that.
This is what CI service is for. Neovim master is never directly pushed to, PR is created first and then it would not be merged until tests pass unless there are good reasons to ignore failures (e.g. after linter update new linter errors are ignored to be silenced when they appear in master). Vim has CI, but this is not very useful if CI runs tests after error appears in master (and is sent as a patch) and not before. > > -- > Not too long ago, cut and paste was done with scissors and glue... > > /// Bram Moolenaar -- b...@moolenaar.net -- http://www.Moolenaar.net \\\ > /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ > \\\ an exciting new programming language -- http://www.Zimbu.org /// > \\\ help me help AIDS victims -- http://ICCF-Holland.org /// > > -- > -- > 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/d/optout. -- -- 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/d/optout.
