Community
Participate
Working Groups
Please provide a new "pull, commit and push"-button in commit dialog to: 1) reduce the development times (you CAN'T push if there are some changes on a remote repo, so now you have always to pull manually before) 2) reduce merge situations (once you have commited but were not able to push, there is no more way to avoid merging). If all the changes are just local, you can make a backup, revert them, pull and integrate the local changes again. This is often much more faster than "real" merging. How the button should work: - pull from remote repository - if auto-merge was successful, continue with commit and push (here happens same things like one have pressed "commit and push"-button) - if auto-merge was not successful, abort, and show a message Well, possibly someone wants to know what things were done at successful pull, so may be some message should be integrated into commit/push-resultmessage. But this point is not a must for me.