[sr-dev] git:master: delete a file which was added by mistake