well, I finally know how to use git now