I've deleted some files and commited and pused, but they are still in github, no deletion?