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 -a
on 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