deploy: call git update-server-info so that git clone works with site.
Merge branch 'devel'