Gitエラー「master -> origin/master (unable to update local ref)」の対応

Jenkinsのビルド時に実行しているgit pullでタイトルのエラーを吐いていて、 Stackoverflowの回答を元にGitのクリーンアップしたら直ったのでメモ

■変更履歴の削除　※他のgitプロセスが動いていない状態で行うこと

$ git gc --prune=now

■リモートリポジトリの削除ブランチをローカルからも消す

$ git remote prune origin

この後再ビルドしたら、ローカルのゴミ削除が履歴にずら〜っと

deleting .git/objects/6f/dfa256da223jrl38rflf
…

参考ページ

git pull fails "unalble to resolve reference" "unable to update local ref" - Stack Overflow

Git ユーザマニュアル (バージョン 1.5.3 以降用)

git(1)