4,461
edits
Git: Difference between revisions
→Pulling changes from a remote: Cleaning up remote branch list
→Delete a branch: Delete a remote branch that as no actual reference on the remote |
→Pulling changes from a remote: Cleaning up remote branch list |
||
| Line 80: | Line 80: | ||
== Pulling changes from a remote == | == Pulling changes from a remote == | ||
< | <sourcelang="bash"> | ||
$ git fetch | $ git fetch | ||
$ git merge origin/master | $ git merge origin/master | ||
</ | </source> | ||
is equivalent to: | is equivalent to: | ||
< | <source lang="bash"> | ||
$ git pull | $ git pull | ||
</ | </source> | ||
=== Cleaning up remote branch list === | |||
This cleans up and removes any branches that are no longer on the remote | |||
<source lang="bash"> | |||
$ git remote prune origin | |||
</source> | |||
== Rebase a branch == | == Rebase a branch == | ||