rm push: simple; breaks older git versions