<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>DevOps on Mikael's BrainDump</title><link>/tags/devops/</link><description>Recent content in DevOps on Mikael's BrainDump</description><generator>Hugo -- gohugo.io</generator><language>en</language><lastBuildDate>Fri, 22 Aug 2025 00:00:00 +0000</lastBuildDate><atom:link href="/tags/devops/index.xml" rel="self" type="application/rss+xml"/><item><title>The Great GitLab Migration</title><link>/posts/gitlab-migration-to-gitea/</link><pubDate>Fri, 22 Aug 2025 00:00:00 +0000</pubDate><guid>/posts/gitlab-migration-to-gitea/</guid><description>A technical deep-dive into migrating GitLab repositories between servers, complete with Python scripts, git config hacks, and the inevitable CI/CD pipeline considerations for the upcoming Gitea migration.</description></item></channel></rss>