Push selected commits

[pmandalka]

I don't know if this is useful for others, but currently I have to only push a part of local commits to the server.

I can do this manually be doing something like this
git push origin :
like:
git push origin eaa49a87b7652591357bdbbbed9885331b3b3084:development

Maybe this is also useful for others - so an entry in the context-menu execute this command is reasonable.
If not - just ignore this issue and I will close it.

[love-linger]

I'm sorry. It's not the recommanded way to update remote refs. Instead, in SourceGit, we recommend that users first checkout the remote branch they want to update, modify it using reset or other commands, and then push it to the remote repository.

[love-linger]

Done. Now we allow to push selected commit with follow limitations:

• The current local branch has tracking remote branch (upstream)
• The current local branch is ahead of its upstream
• The selected commit is one of those ahead commits but not the HEAD (since we can push branch directly)