When I merge a pull request on GitHub and then run git pull -a on the local repository I found another commit: Merge branches 'blabla' and 'main' of github.com:repository, and in the log, there is written: Merge made by the 'ort' strategy. Then I'm forced to push this commit.
Steps to reproduce:
- Create a repository and commit
- Create a branch and make some changes, then push
- On the GitHub portal click "Create a pull request" and merge
- On your local repository run git pull -aon the main branch
- The new commit appears.
- now you must run git push
The problem is that on the GitHub repository, there are Actions workflows that run when a commit is done on the main branch.
What is the correct workflow to do a pull request and reconcile the local repo without creating another commit?
Edit: I'm the only person who interacts with the repo
 
     
     
    