title: Git - deleted a remote file, how to restore
body: <p>I have a local git, I made a commit (let's say my third commit), then I pushed to origin on a remote website.</p>
  
  <p>I inadvertedly deleted a <em>remote</em> file, now I tried to push again with:</p>
  
  <p><code>git push origin master</code></p>
  
  <p>but it returns "<code>Everything up-to-date</code>"</p>
  
  <p>I'm not sure I deleted other files, so how do I push to remote and "overwrite/add missing files" to last local commit.</p>