naively ignore the github bot