Delete github_debian.pub