Kristian Klausen 2c964100fa Commit the releases to a separate disconneted branch
We do a release every day so we end up with a lot of "release commits"
(noise) in the master branch, which we don't want.
2020-10-27 18:02:05 +01:00
..