mirror of
https://github.com/git-learning-game/oh-my-git.git
synced 2024-06-28 23:33:30 +02:00
30 lines
595 B
Plaintext
30 lines
595 B
Plaintext
[description]
|
|
|
|
You want to push your new commits to the server, but someone has already pushed their own changes.
|
|
|
|
In this situation, you need to pull first! Try that here - you'll have to resolve a merge conflict. Push your changes afterwards.
|
|
|
|
[congrats]
|
|
|
|
Good job! Here's some additional info: banana!
|
|
|
|
[setup yours]
|
|
|
|
echo fu > file
|
|
git add .
|
|
git commit -m "Initial commit"
|
|
git push -u origin main
|
|
|
|
echo fi > file
|
|
git commit -a -m "Fi is good"
|
|
|
|
[setup origin]
|
|
|
|
echo fa > file
|
|
git add .
|
|
git commit -a -m "Fa is good"
|
|
|
|
[win origin]
|
|
|
|
test "$(git rev-parse HEAD^1^)" = "$(git rev-parse HEAD^2^)"
|