[MediaWiki-commits] [Gerrit] Remove the unneeded priorites in filenames - change (operations/puppet)

Alexandros Kosiaris has submitted this change and it was merged. Change subject: Remove the unneeded priorites in filenames .. Remove the unneeded priorites in filenames Now that we use base::puppet::config, priorities in

[MediaWiki-commits] [Gerrit] Remove the unneeded priorites in filenames - change (operations/puppet)

Alexandros Kosiaris has uploaded a new change for review. https://gerrit.wikimedia.org/r/212305 Change subject: Remove the unneeded priorites in filenames .. Remove the unneeded priorites in filenames Now that we use