git push origin --delete master