@heluecht @tobias @nupplaphil You can reset to the previous commit before the merge and force-push but it will break installs who do automatic develop pulls, or revert the merge commit and push it. You’ll have to create a new branch where you’ll have to revert the revert to be able to submit the same changes again.

Before you do any of these, let me review the change.