Git is a gentle beast, but beasts are wild, and they require taming, here are some tips to resolve 99% of git problems.
Working with developers ...
For further actions, you may consider blocking this person and/or reporting abuse
You're already teaching interactive rebase so just keep using it. Instead of your last solution with cherry picking, rebase and drop commits you don't want. The interactive script is very powerful and can even be modified during rebase with --edit-todo
Thanks Jesse! Iβll research that and improve the last solution! :-)