Re: Issue 1266 in lilypond: Dots in chords can not be moved

[Peekay Ex]

Hello,

On Sun, Oct 30, 2011 at 11:05 AM, David Kastrup <address@hidden> wrote:
> address@hidden writes:
>
>> Comment #19 on issue 1266 by address@hidden: Dots in chords can not
>> be moved
>> http://code.google.com/p/lilypond/issues/detail?id=1266
>>
>> Hello, Yes I can do that - I need to get into the habit of the new workflow.
>>
>> Can I just check the command I need to use is:
>>
>> git push origin dev\staging
>>
>> and that is it - I don't want to break anything with my push access.
>>
>> Eg. I don't need to download a new repo just for dev/staging do I, I
>> can just push from my own lilypond-git repo to dev/staging?
>
> The command you need to use to push from HEAD is
>
> git push origin HEAD:refs/heads/dev/staging
>
> For some reason, sometimes the full ref on the right hand side is
> required (probably when your repository does not know about staging
> and/or you just deleted it).
>
> You can't break anything in that manner: git will refuse to do anything
> that is not an incremental addition to staging.  So dev/staging should
> not be in a worse logical state than before, if your HEAD looks
> reasonable.
>
> Unfortunately, our repository is configured in a manner that you can't
> convince git when an incremental addition is not possible (like when
> there has been diverging stuff on master you want to rebase into
> staging).  Instead you need to delete and rewrite dev/staging.  Deleting
> it is done by doing the same push command, just without "HEAD" before
> the colon.
>
> But before you _rewrite_ dev/staging, better ask again.
>

David thanks.

It pushed without any complaints.

address@hidden:~/lilypond-git/build$ git push origin
HEAD:refs/heads/dev/staging
Counting objects: 13, done.
Delta compression using up to 7 threads.
Compressing objects: 100% (7/7), done.
Writing objects: 100% (7/7), 651 bytes, done.
Total 7 (delta 6), reused 0 (delta 0)
To ssh://address@hidden/srv/git/lilypond.git
   2f1556b..b5f1985  HEAD -> dev/staging

...

However how can I view dev/staging?

git remote show dev/staging

gives me an error. I tried

git remote show HEAD:/etc...

and that failed.

So I pushed it somewhere :) but cannot check it's ok.

-- 
--
James