[Feature Request] Push up to Here

[cdammanintopix]

Sometimes, it is useful to only push part of the commits from the local branch to the remote.

A typical use case would be to trigger Gitlab pipelines: if you want to trigger a pipeline for each commit, you have to do one push per commit instead of a single push of the whole branch.

This feature is supported by other GIT tools (cfr screenshot), but it would be a nice feature for SourceGit as well 🙂

On the backend side, here is an example on how the GIT command would look like:

git push --progress origin 74d11aa148a74f1010fdf6499cac4774a9ff37cc:refs/heads/develop

So I guess everything is already ready in the Push.cs file (it would just be calling Push with the commit hash instead of the local branch name

[love-linger]

The main problem is that it is currently difficult to automatically determine the remote branch to be pushed based on the selected commit (when it is not the HEAD of the current branch).

[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)