docs(batches): update docs for github app callback#642

bahrmichael merged 1 commit intomainsourcegraph/docs:mainfrom

bahrmichael/srch-799sourcegraph/docs:bahrmichael/srch-799Copy head branch name to clipboard