We just renamed the master branch on NOX to verity (codename for the new NOX), and updated the HEAD to point to this branch.
Unfortunately, if you have a clone of NOX you should either create a new clone (easier if you don't have any local changes) or update your clone: git pull git checkout verity git remote set-head origin -a git remote update --prune origin We hope that this is the only time that an existing clone should break and we're sorry for the inconvenience it may cause. Cheers, Amin P.S.: This change is going to happen to pox in the short-term future too.
