deletion of redundant file (and test of git)