.github: change issue bot config for new label names#18311

Merged

fjl merged 1 commit intoethereum:masterfrom adamschmideg:rename-labels-in-bot-config

Dec 14, 2018

+2-2

Commits on Dec 14, 2018

Change issue labels in bot configs to the new prefixed version
adamschmideg
committed