Remove github because it is not working at the moment ...