Hi Stefan!

You could follow the advice in this SO answer. Basically:

# generate a reverse patch of your commit(s) $ git revert --no-commit <commit-sha>... # soft reset to clear your index $ git reset # interactively stage the deletion of only the lines to be reverted $ git add -p # remove the rest of the reverse patch that you don't want to commit $ git checkout . # finally, commit the revert $ git commit -m "Revert changes as per pull request"

Hope this helps!

cheers,

Tim