"git@git.frama-c.com:pub/open-source-case-studies.git" did not exist on "891378efb62a2607f21980c0a3546a8164d62bf7"