fix bugs in github bot