#git bot interface

History of !github_pull

• To check out a GitHub pull request in your local repo, see this documentation: https://help.github.com/articles/checking-out-pull-requests-locally/
  By canton7 at 2018-10-26 09:24:16
• To check out a pull request in your local repo, see this documentation: https://help.github.com/articles/checking-out-pull-requests-locally/
  By canton7 at 2018-10-26 09:23:42
• To easily see Github Pull Requests in your local repo, use this fetchspec trick: https://gist.github.com/piscisaureus/3342247
  By EugeneKay at 2013-02-24 10:01:32