Creation of repository online vs GitHub