Fixed: problem with Github