Hi, On Wed, Nov 08, 2017 at 10:19:22PM +0100, Paolo Giannozzi wrote: > I think so, we are going to move the development to gitlab. Good choice in my opinion; we are using it in-house in the company I work for and I like it quite a lot. Also the rather larger Gnome and Debian open source projects are going to migrate to gitlab. Michael