Posts

Merge requests like gitlab is naming them or pull requests like github is naming them are a great feature in my opinion. They summarize the changes done, to reach a dedicated goal and enable us to discuss and share the changes done. But what if you or somebody else forgot to create a merge request for your development branch? Or you run GitOps and need to promote your environment through different branches, do you want to create and merge manually?...

The hugo theme PaperMod which I use for this site, has a nice function to editPost which adds a kind of edit button on each page which leads to the source of the page to quickly fix and change the page content. If really like this feature but I was kind of unable to use it in the right way from the beginning. This post is now used to figure out a working solution....

everything around podcasts