Hi Andreas, On 17/07/18 21:03, Andreas Tille wrote:
You have now permissions to do so yourself. I repeat my recommendation to use inject-into-salsa-git as described here:
Great! Many thanks for your quick answer! I'll dig into the "inject-into-salsa-git" procedure asap. Sébastien-