[Pkg-rust-maintainers] Git issues

[Sylvestre Ledru]

Le 05/03/2016 à 14:20, Ximin Luo a écrit :
> Hi, the git history was messed up. I fixed it and did some force pushes. If you had the old messed up commits, the simplest way to fix your local repo is to re-clone it. Or, you can `git fetch --all` then do some more `git reset`s, exercise for the reader.
Thanks, this is my fault. I don't know how I screw up.
Sorry about that,
Sylvestre