When I merged https://github.com/nodemcu/nodemcu-firmware/pull/1627 a few days ago, a snap from the dev
branch to the master
branch, I chose "squash and merge" instead of a regular "merge commit". I can't simply revert the PR and create a new PR from dev
as there have been commits to dev
in the meantime.
Is there a sensible way to fix this? Maybe something like https://stackoverflow.com/a/28497372/131929?