On Jul 24, 5:39 pm, Galaxy <[email protected]> wrote:
> I want to submit changes that I made on a file locally, so that those
> changes are updated on github
>
> I tried commit -a, but that did not result in the changes being
> applied.
>
> What is the correct procedure to "push" or "commit" files?
I see now that "push" had an effect with "push" then "commit", then
"push". I'm fumbling with this.
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"GitHub" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/github?hl=en
-~----------~----~----~----~------~----~------~--~---