Faidon has submitted this change and it was merged.

Change subject: Remove apt::ppa-req and apt::key
......................................................................


Remove apt::ppa-req and apt::key

Both apt::ppa-req and apt::key are not referenced from anywhere else.
The latter is soon going to replaced, while the former is not, on
purpose: we should never use PPAs in production, as there are both
security and maintainability implications.

Change-Id: I71c1fb948199868d8af27c219f3c2e216ba7a96d
---
M manifests/generic-definitions.pp
1 file changed, 0 insertions(+), 90 deletions(-)

Approvals:
  Faidon: Looks good to me, approved
  jenkins-bot: Verified


--
To view, visit https://gerrit.wikimedia.org/r/32368
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I71c1fb948199868d8af27c219f3c2e216ba7a96d
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Faidon <[email protected]>
Gerrit-Reviewer: Faidon <[email protected]>
Gerrit-Reviewer: Mark Bergsma <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to