Update files -fix typos

This commit is contained in:
Jose 2023-06-04 18:05:30 -03:00
parent b2c1591584
commit 7c852486f7
3 changed files with 21 additions and 3 deletions

View File

@ -8,10 +8,10 @@ A brief tutorial to begin with [[https://git-scm.com/][git]]
- [[./doc/get_start.org][Getting started]]
- [[./doc/beginning_with.org][Git basics]]
- [[./doc/remotes.org][Remote repository]]
- [[./doc/pull.org][Pulling changes from remote repository]]
- [[./doc/git_logs.org][Checking git history: logs]]
- [[./doc/undo_changes.org][How to undo things using git]]
- [[./doc/remotes.org][Remote repository]]
- [[./doc/tags.org][Tags]]
- [[./doc/stash.org][Stashing changes]]

View File

@ -48,7 +48,7 @@ new files need to be added:
#+end_example
Share your local changes with the remote repository using ~git push~:
d
#+begin_example sh
git push
#+end_example

View File

@ -49,7 +49,9 @@ Addig a remote to a local git repository:
git remote add origin https://git.disroot.org/user/reponame.git
#+end_example
Set the remote as origin:
*** Set the remote as origin
First option:
#+begin_example bash
git push --set-upstream origin master
@ -64,3 +66,19 @@ into the other.
git pull origin master --allow-unrelated-histories
git merge origin origin/master
#+end_example
Second option:
Set the remote stream (~origin~ on this example) as ~main~ branch:
#+begin_example bash
git branch -u origin/main
#+end_example
Or use:
#+begin_example bash
git push -u origin main
#+end_example
After this change, you can retrieve and send changes to the remote repository