Practicing pulling repos on github