title: how to delete files in the remote repository?
body: <p>I am not sure what is the exact term for this problem. Basically, I need to remove some files &amp; directory on my remote repository</p>
  
  <p>I have a local git repo &amp; remote repo in github</p>
  
  <ol>
  <li>Had been working myself. </li>
  <li>A friend made a pull request. </li>
  <li>I merged his request (via github interface)</li>
  <li>I pulled the changes.</li>
  <li>I tested the code and decided not to take his changes (shouldn't have merged at the first place)</li>
  <li>I reverted back to a previous commit</li>
  <li>Made some changes</li>
  <li>Push to the server.</li>
  </ol>
  
  <p>This is how my local repository looks like at the moment:</p>
  
  <pre><code>*   7e143b1  (HEAD)
  |\  
  | *   18cea0f  (origin/master, origin/HEAD, master)
  | |\  
  | | * fc19ccf 
  * | | 6f3c58a 
  |/ /  
  * | 8d82486 
  |/  
  | * d3ce65f  (pre-install-activeadmin)
  |/  
  * 7d0566c 
  * d1c77ab 
  * 75ba704 
  * 30dc67c  (heroku/master)
  * f89b1f6 
  * ea5e2db 
  * 08931d6 
  * 9773a6f 
  * b636aba 
  * cb6f8d4 
  </code></pre>
  
  <p>I can change my local repo to <code>7d0566c</code>. I am not sure where the head on my remote repo is pointing to.</p>
  
  <p>How do I remove those files that are on remote repo but are not on my local repo?</p>
  
  <p>Obviously, I do not see any of his files in my local repo because I did a reset of my HEAD to a previous commit. However, the remote repo still shows his files. When I commit, it commits just fine. </p>
  
  <p>Is my workflow wrong? I should have just tested the patch at the first place. Any suggestion? I am new to version control. Thank you</p>