Prune your repos to get rid of origin/next

[Andrew Grieve]

For the other git noobs on the list: Now that the next branch is deleted,
you need to tell your local git instances via:

git remote prune origin