Delete some GitHub lines