File not removed by github client