byebye I'm deleting all my repos due to Micro$oft acquiring GitHub. IMHO, GAFAM must not rule the (IT) world. Cf https://blogs.microsoft.com/blog/2018/06/04/microsoft-github-empowering-developers/