Commit 8e1c4bd3 authored by Lukas Riedel's avatar Lukas Riedel

ci: Fix git push command because runner checks out detached head

parent 862ded84