Freitag, 23. November 2018

GIT - Replace local branch with remote branch.

  • Delete the local branch:
  git branch -d local_branch
  • Fetch remote branch: 
 git fetch origin remote_branch
  • Rebuild the local branch with remote content: 
 git checkout -b local_branch origin/remote_branch

Keine Kommentare:

Kommentar veröffentlichen

DOCKER - No Space Left on Device // How to clean Docker on Linux

Sometimes Docker will simply claim to much space. Time for a clean up ;) docker system prune -a -f