Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
sep:internal:personalbackup [2019/01/17 00:16] cabrales |
sep:internal:personalbackup [2019/01/29 03:10] milad |
||
|---|---|---|---|
| Line 8: | Line 8: | ||
| =====Using Git===== | =====Using Git===== | ||
| + | |||
| + | * Git is a useful but quite a complex tool. This instructions do not pretend to be more than 1% exhaustive. Some people claim that, after 5 or more years using git they do not get a full grasp (do not look at me; I have spend a little bit less than two years!) Internet is your friend, so look there for answers when requiring something more complex than what I present in this tutorial (or make an appointment with Bob). | ||
| ==== 1. Creating a Git repository==== | ==== 1. Creating a Git repository==== | ||
| Line 33: | Line 35: | ||
| ==== 4. Create remote repository (you make this only once)==== | ==== 4. Create remote repository (you make this only once)==== | ||
| - | * The final step is to push the local repository to the server. However, you must first create the remote repository towards which you will push. | + | * The final step is to push the local repository to the server. However, you must first create the remote repository towards which you will push. Please take a look at this simple tutorial to learn how to create it: {{: |
| Line 39: | Line 41: | ||
| ==== 5. Push to remote repository==== | ==== 5. Push to remote repository==== | ||
| - | * The final step is to push the local repository to the server. | + | * The final step is to push the local repository to the server. |
| + | |||
| + | git push | ||
| + | * If you get no error message, congratulations! Your commits went to the remote repository. | ||
