Tracking a branch from Github

Deleting a local branch

git branch -d {branch_name}

Deleting a remote branch

git checkout :{branch_name}

Track a new branch from Github

git checkout origin/wundr_compilable_project -t