Fix for Error: Unable to update local ref

Problem:

This error is returned after git pull:

Solution:

$ git gc --prune=now
$ git remote prune origin

To read more:

https://stackoverflow.com/questions/2998832/git-pull-fails-unable-to-resolve-reference-unable-to-update-local-ref

Explaination:

to be filled here