Deploying to gh-pages from @ c05a9db 🚀

_sources/implementation.rst.txt

@@ -42,7 +42,7 @@ repository.
         and delete `this code block <https://github.com/INCATools/ontobot-change-agent/blob/b60d32375941c19672deace22b74814e04a73284/.github/workflows/new-pr-java.yml#L63-L68>`_
 
     .. 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 <https://github.com/apps/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**.

implementation.html

@@ -127,7 +127,7 @@ <h2>Step 1: GitHub Workflow Setup<a class="headerlink" href="#step-1-github-work
 </div>
 <div class="admonition warning">
 <p class="admonition-title">Warning</p>
-<p><strong>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.</strong></p>
+<p><strong>This should be done once only. `ontobot-change-agent &lt;https://github.com/apps/ontobot-change-agent&gt;`_ already exists as an app on GitHub. This step is solely for the purpose of documentation.</strong></p>
 <p>Create a GitHub App at the Organization level such that it has access to specific repositories of concern.
 - Go to <strong>Settings</strong> -&gt; <strong>Developer settings</strong> -&gt; <strong>GitHub Apps</strong> -&gt; <strong>New GitHub App</strong>.
 - Fill in the necessary details and create the GitHub App:</p>