title: Remove local git tags that are no longer on the remote repository
body: <p>We use tags in git as part of our deployment process.  From time to time, we want to clean up these tags by removing them from our remote repository.</p>
  
  <p>This is pretty straightforward.  One user deletes the local tag and the remote tag in one set of commands.  We have a little shell script that combines both steps.</p>
  
  <p>The 2nd (3rd, 4th,...) user now has local tags that are no longer reflected on the remote.  </p>
  
  <p>I am looking for a command similar to <code>git remote prune origin</code> which cleans up locally tracking branches for which the remote branch has been deleted.</p>
  
  <p>Alternatively, a simple command to list remote tags could be used to compare to the local tags returned via <code>git tag -l</code>.</p>