A first experiment with Github