Hi,
I am a newbie to Git system. Before I found out using `git rm` to delete files, I directly delete files without using the command. For example, I have file `a.bin` in both my local and remote branch, they are synced. After I delete the `a.bin` locally without using `git rm` and then pushed to the remote branch, the `a.bin` will still be in the remote branch. So I am wondering how can I delete the `a.bin` in the remote branch without sabotaging what I have in the local one? Namely, I want to sync the remote branch to my local one.
Thx!