In the past I have used Jenkins excessively both professionally as well as for my private / open source projects. For the latter, I run and maintained my own Jenkins instance, running on an HP server in my basement 🙂 I am currently trying to become as „lean“ as possible, […]
GitHub
Just recently I needed to merge multiple Git repositories into one. This might seem trivial, but there are just so many ways to do this, it can be confusing 🙂 My requirements were: merge multiple repositories into a new repository preserve history of all artefacts have every old repository in […]