[PULL 3/3] github: fix config mistake preventing repo lockdown commenting