Re: [ptp-dev] git issue

[Roland Grunberg <rgrunber@xxxxxxxxxx>]

> $ git status
> On branch master
> Your branch is ahead of 'origin/master' by 1 commit.
> (use "git push" to publish your local commits)
> 
> nothing to commit, working directory clean
> $ git push
> Total 0 (delta 0), reused 0 (delta 0)
> remote: Processing changes: refs: 1, done
> To ssh://gwatson@xxxxxxxxxxxxxxx:29418/ptp/org.eclipse.ptp.git
> ! [remote rejected] HEAD -> refs/for/master (no new changes)
> error: failed to push some refs to '
> ssh://gwatson@xxxxxxxxxxxxxxx:29418/ptp/org.eclipse.ptp.git'
> 

Could gerrit be detecting that you've already pushed a
Change-Id matching the local commit, and that there are no
new changes to the patch set ?

Is it this change ?
https://git.eclipse.org/r/#/c/23798/

Cheers,
-- 
Roland Grunberg