diff --git a/docs/implementation.rst b/docs/implementation.rst index 640ae69..3a6e0b5 100644 --- a/docs/implementation.rst +++ b/docs/implementation.rst @@ -42,7 +42,7 @@ repository. and delete `this code block `_ .. warning:: - **This should be done once only. `ontobot-change-agent` already exists as an app on GitHub. This step is solely for the purpose of documentation.** + **This should be done once only. `ontobot-change-agent `_ already exists as an app on GitHub. This step is solely for the purpose of documentation.** Create a GitHub App at the Organization level such that it has access to specific repositories of concern. - Go to **Settings** -> **Developer settings** -> **GitHub Apps** -> **New GitHub App**.