title: Github README.md and readme.md - how to delete one?
body: <p>Somehow I endup with having README.md and readme.md on github. Now these two influence each other so my GitHub.app gets completely confused. Github web site do not have any file delete function.</p>
  
  <p>How to delete one of these files?</p>