deploy only gepetto
CI failed in !21 (merged) because it tried to deploy from a fork without access to SSH private key. Here is a fix.
CI failed in !21 (merged) because it tried to deploy from a fork without access to SSH private key. Here is a fix.