Hi, 2018-04-12 22:58 GMT+02:00 Huidae Cho <grass4u at gmail.com>: btw, there is a new fact which makes migration to git less convenient [1]. Ma [1] https://news.microsoft.com/2018/06/04/microsoft-to-acquire-github-for-7-5-billion/ -- Martin Landa http://geo.fsv.cvut.cz/gwiki/Landa http://gismentors.cz/mentors/landa