How to remove committed files in git after push. I will write here a complete example.