GitHub practice in kyoto-university