diff --git a/Jenkinsfile b/Jenkinsfile index 291464d..42600dd 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -147,6 +147,7 @@ pipeline { } sh("git config --global user.email $_MaintainerEmail") sh("git config --global user.name $_MaintainerName") + sh("git config --global init.defaultBranch master") } } diff --git a/mkdocs.yml b/mkdocs.yml index d02be53..6d4f9c4 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -68,11 +68,6 @@ markdown_extensions: anchor_linenums: true line_spans: __span pygments_lang_class: true - - pymdownx.superfences: - custom_fences: - - name: mermaid - class: mermaid - format: !!python/name:pymdownx.superfences.fence_code_format - pymdownx.keys - pymdownx.mark - pymdownx.progressbar