mirror of
https://github.com/zhigang1992/probot.git
synced 2026-05-10 21:54:20 +08:00
This replaces all internal references to "robot" with "app" or "Application". There should be no functional change in public APIs, but may cause some issues for anyone using internal APIs.