Rename gating configuration to more common and recommended extension

This commit is contained in:
Jakub Jelen 2024-08-22 09:58:05 +02:00
parent 842d5a7fe9
commit 8cea5f4273