Merge pull request #774 from wenzhengjiang/unless_gpg_key_exists
authordavid22swan <david.swan@puppet.com>
Thu, 23 Aug 2018 13:21:05 +0000 (14:21 +0100)
committerGitHub <noreply@github.com>
Thu, 23 Aug 2018 13:21:05 +0000 (14:21 +0100)
commitcc63cdf61a4fa48ee4717135f23857f839315b3b
treeb45f2823a4584e316a735f0347de24c1aeb4d520
parent8b651b51954b2f4fc860724b48419007f4a63ed3
parent75f5da7040eb67b144c490ff6bb319550df4f9fe
Merge pull request #774 from wenzhengjiang/unless_gpg_key_exists

Check existence of gpg key in apt:ppa