[MRG] fix github integration to fetch master branch
#212
leeeizhangpr_agent.yml
on: pull_request
Run pr agent on every pull request, respond to user comments
38s