Git branch "protocols" has been merged to "master".

If you're using protocols branch, you should switch back to master branch now, using following commands:

git checkout master
git pull
git remote prune origin