Re: Git mirror broken?

[Dr . Jürgen Sauermann]

Hi Laura,

thanks, I now added everything in SVN to git. I had a local server
crash recently so it could be that my recovery has pushed files into
the savannah SVN that shouldn't be there.

So the question is less if there is a diff between SVN and git
but rather if files needed for the build are missing.

Best Regards,
Jürgen


On 4/29/23 19:29, Laura Aino Violetta Aléanor wrote:
> Thank you for the quick response! Looks like we now have the same
> problem with `support-files/Juergen-Mint-21`. I've ran `diff -qr` on
> the two trees and attached the output. I'm not familiar with SVN so I
> couldn't tell you which of those are tracked and which aren't, but
> hopefully you can tell if there are any other missing files or
> directories.