title: Git - how delete file from remote repository
body: <p>How can I delete file from remote git repository?
  I have a file that is just deleted from working copy local repository, and I want delete it from corresponding remote repository</p>