Jan-29-2020, 03:42 PM
The remote name you have to provide is most possibly origin, so change
git push cleanup_after_menu --delete cleanup3to
git push origin --delete cleanup3