add "git fetch" before incrementing the version on develop
add "git fetch" before incrementing the version on develop

If a PR is merged before the release is completed we need to fetch from the remote before incrementing the develop version.
test-editor/test-editor-xtext,test-editor/test-editor-xtext,test-editor/test-editor-xtext,test-editor/test-editor-xtext,test-editor/test-editor-xtext