* Bram Moolenaar <[email protected]> [2015-03-24 22:36 +0100]:
>
> Since Google Code is going to be shut down we need a new place for the
> Vim repository. Many users have given their opinion and github appears
> to be the preferred site.
>
> This is not without disadvantages, since it means moving from Mercurial
> to git. Some may like this, some not. Will take some getting used to.
> I personally prefer the Mercurial commands, they are more obvious to
> use. You can find help only for how a Mercurial command translates to
> git, e.g. https://github.com/sympy/sympy/wiki/Git-hg-rosetta-stone
>
> To see how well this works I have created a SNAPSHOT of the repository.
> This way we can try it out. I already verified that I can push patches
> there. However, for now development will remain on code.google.com.
> The issues were already changed after the migration, this will continue.
>
> Look here: https://github.com/vim
>
> Please respond to the list if something doesn't work well.
$ git tag | grep v7-4 | sort -V
....
v7-4-675
v7-4-676
v7-4-677
v7-4-678
but
$ egrep -A 4 "Add new patch number" src/version.c
{ /* Add new patch number below this line */
/**/
682,
/**/
681,
and
$ git log | head -8
commit 6ac42ad71294c4ef6d74e99668e88911e76d818f
Author: Bram Moolenaar <[email protected]>
Date: Tue Mar 24 21:52:07 2015 +0100
updated for version 7.4.682
Problem: The search highlighting and match highlighting replaces the
cursorline highlighting, this doesn't look good.
Solution: Combine the highlighting. (Yasuhiro Matsumoto)
The tags don't seem to correspond to the latest patch version?
Elimar
--
On the keyboard of life you have always
to keep a finger at the escape key;-)
--
--
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.
