Switched to my local development branch, I press the pull merge button. But the changes made to the main branch are not pulled into my branch. If I execute git pull in the console, the changes will be ready to be committed to my branch.I checked, the main branch definitely has the changes made earlier. Why might git pull not work in Git Extension?