I���d be really interested if someone with lower level GIT knowledge might try a:

git checkout��<gitid>��src/<proj>/<class>.class.st��

For their project - as I don���t understand what I���m doing wrong - and I���d like the comfort of knowing that our source is in a place/state where we can rely on normal git tools in a case of emergency. At the moment, I���m a bit nervous that we are corrupting something .

Tim