Updated github workflow to ignore bot comments#19

MisRob merged 1 commit intolearningequality:mainlearningequality/.github:mainfrom

Sanchit-100:ignore-bot-commentsSanchit-100/.github:ignore-bot-commentsCopy head branch name to clipboard