[bot] Automatically pull latest data from IDOL backend#1148

ladriennel merged 1 commit intomaincornell-dti/idol:mainfrom

dti-github-bot/pull-from-idolcornell-dti/idol:dti-github-bot/pull-from-idolCopy head branch name to clipboard