[PATCH 2 of 2 evolve-ext] evolve: use repo._bookmarks.recordchange instead of repo._bookmarks.write

[Pierre-Yves David]

On 09/17/2015 06:39 PM, Laurent Charignon wrote:
> # HG changeset patch
> # User Laurent Charignon <lcharignon at fb.com>
> # Date 1442447406 25200
> #      Wed Sep 16 16:50:06 2015 -0700
> # Node ID 3c275631d09518c1c167500bcb5fa81fca375dcd
> # Parent  d525123c5a12f7e60eaaf24ec5ab00a43675fef4
> evolve: use repo._bookmarks.recordchange instead of repo._bookmarks.write
>
> We want to get rid of the api repo._bookmarks.write and this
> patch removes its use in evolve.py.
> Before this patch, we were using repo._bookmarks.write  to save bookmarks change
> immediately instead of repo._bookmarks.recordchange that write change when
> transaction ends.

Thanks you very much.

Pushed to main.

-- 
Pierre-Yves David