library-web update on window.gnome.org

[Frederic Peters <fpeters gnome org>]

Hello,

Since the Git migration library-web is installed on window.gnome.org
in ~gnomeweb/git-wd/library-web/; previously it was in .../svn-wd/...
and had some local changes[1,2].

I ported those changes to the .../git-wd/... clone, but as I was
reading some doc on library.gnome.org today I visited a page exposing
the bug fixed in [1], I then looked at the git clone and the local
changes were gone.

Looking at the directory entry,
  drwxr-xr-x  8 gnomeweb gnomeweb 4096 Apr 30 00:00 library-web
I wonder if the directory is now wiped automatically.

Is this the case?  Could it be disabled?


Cheers,
        Frederic

[1] hacking around a bug in libxslt
[2] and pointing to generated release notes tarballs