I have created a library on GitHub with a main and a dev branch. Someone contributed and I accidentally merged directly to the main branch instead to dev first and then to main. To avoid future problems, I then merged from main to dev so both are on the same level.
Now GitHub suggests to merge from dev to main again as it has “changes”.

Can I ignore this or should I merge back again?
(Images display the problem I hope)

on main branch

pull request with 0 changes

I could merge back but that seems useless