git rm

• remove from repository and from local system - bash rm alone will not do this
• git rm --cached will not delete locally, but pull on remote machine will delete remote copy