You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/teamwork.md
+29-28Lines changed: 29 additions & 28 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -118,8 +118,6 @@ graph LR
118
118
119
119
---
120
120
121
-
<!-- .slide: style="font-size: 30px;" -->
122
-
123
121
Pushing a staged and committed file:
124
122
125
123
```shell
@@ -146,8 +144,6 @@ Date: Sun Nov 13 15:43:05 2022 +0100
146
144
147
145
## Git pull
148
146
149
-
<!-- .slide: style="font-size: 30px;" -->
150
-
151
147
Fetch the given remote's copy of the current branch and merge to the local copy:
152
148
```shell
153
149
$ git pull <remote-repo>
@@ -163,8 +159,6 @@ $ git pull
163
159
164
160
## Hint
165
161
166
-
<!-- .slide: style="font-size: 30px;" -->
167
-
168
162
If you have forgotten to pull before staging and committing new stuff, and your colleague has added something to the remote repository in between, this is a handy command:
169
163
170
164
```shell
@@ -175,29 +169,36 @@ It fetches the remote content but does not create a new merge commit.
0 commit comments