Skip to content
Commit f43e5db5 authored by Philipp Weber's avatar Philipp Weber
Browse files

FIX THE AUTO DEPLOYMENT 

The auto deployment did not specify the HEAD of the public remote.
parent 590f552d