Skip to main content

5 posts tagged with "GitHub"

GitHub is a platform to store, share and work together with others to write code.

View All Tags

Mkdocs: Documentation Versioning with Mike

· 8 min read
Eleni Grosdouli
DevOps Consulting Engineer at Cisco Solutions GmbH

Summary:

Learn how to implement documentation versioning in MkDocs using Mike. Mike is a plugin designed for managing multiple documentation versions. The guide covers setting up versioning from day one and integrating it with GitHub Pages for streamlined, automated deployments.

Docusaurus Blog Migration to GitHub Pages

· 4 min read
Eleni Grosdouli
DevOps Consulting Engineer at Cisco Solutions GmbH

Introduction

Migration alert! For a while, I wanted to move my Docusaurus blog to a new custom domain. In the beginning, it appeared to be an overwhelming task due to time constraints and, of course, DNS! Nonetheless, after some research, I finally managed to make the migration smooth and hassle-free. This blog post is meant to save you time and frustration if you are looking to deploy a Docusaurus site on GitHub Pages with your custom domain without running into DNS problems along the way!

Funny Fact: After spending the last couple of days troubleshooting DNS issues (fun, right?), a colleague and good friend, Justus, surprised me with this awesome T-shirt! 😂

Now, let's dive into the configuration! 👇

title image reading "Funny DNS"