I’m trying to
pushing to the
darioairoldi-patch-1 branch on ‘darioairoldi/github-actions-for-ci’.
but “Merge pull request” button is grayed and I cannot proceed
**it would be desirable that there always be a button "Proceed with desired solution" otherwise the risk of remaining stuck is too high