ci: fix github bot config file extension (#11011)

This commit is contained in:
Olivier Combe
2018-04-25 21:44:38 +02:00
committed by Joey Perrott
parent 85039ca8e0
commit ce53671111
@@ -59,4 +59,4 @@ merge:
# options for the triage plugin
triage:
disabled: true
disabled: true