Cleaning up feature branches in git

After working on a feature in a separate branch, keeping the branch around is unnecessary. To clean up afterwards, run the following:

git push origin --delete <branch_to_delete>
git branch -D <branch_to_delete>