GitOps

In order to delete all branches but master simply run the following command:

This document serves as a step by step guide to how to sign commits before pushing to the repository in Github.

When we were migrating from Gitlab to Github, I found out that there wasn’t an easy way to import everything from Gitlab to Github, as Github doesn’t offer a good tool for that, so I ended up writing the small script below and hosted it as a gist if anyone finds this useful.