Delete PkgGithubRepo.jl~