[MediaWiki-commits] [Gerrit] operations/puppet[production]: system::role: remove leading 'role::' to avoid role-role

Dzahn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/357960 ) Change subject: system::role: remove leading 'role::' to avoid role-role .. system::role: remove leading 'role::' to avoid role-role

[MediaWiki-commits] [Gerrit] operations/puppet[production]: system::role: remove leading 'role::' to avoid role-role

Dzahn has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/357960 ) Change subject: system::role: remove leading 'role::' to avoid role-role .. system::role: remove leading 'role::' to avoid role-role system::