github-tools Some tools for works with Github API Example usage python /get_pulls.py ${TOKEN} ${PROJECT} python /get_pr_number.py ${TOKEN} ${PROJECT} ${BRANCH_NAME} python /get_pr_comment.py ${TOKEN} ${PROJECT} ${PR_NUMBER}