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.
How to delete one of these files?
Simply delete one of the files and commit the deletion.
$ git rm readme.md
$ git commit
$ git push