Deployed 38c3734d5 to master with MkDocs 1.1.2 and mike 0.5.5

master/contributing/github_workflow/index.html

@@ -956,7 +956,7 @@ Current branch my_feature_branch is up to date.
 <p>Commits on your branch should represent meaningful milestones or units of work.
 Small commits that contain typo fixes, rebases, review feedbacks, etc should be squashed.</p>
 <p>To do that, it's best to perform an <a href="https://git-scm.com/book/en/v2/Git-Tools-Rewriting-History">interactive rebase</a>:</p>
-<h4>Example</h4>
+<h4 id="example">Example<a class="headerlink" href="#example" title="Permanent link">#</a></h4>
 <p>If you PR has 3 commits, count backwards from your last commit using <code>HEAD~3</code>:
 <div class="highlight"><pre><span></span><code>git rebase -i HEAD~3
 </code></pre></div>