matheusml

Indeed.

I'll update the post. This worked for me. Thanks a lot!

Thanks a lot. Updated!

It was 'git reset --HARD <commit-id>', like a cherry pick, before pushing.