Re: Gets vertical skylines from grob stencils (issue 5626052)

[David Kastrup]

"address@hidden" <address@hidden> writes:

> I'll look into doing 1.  Meanwhile, if someone can tell me how to push
> changes to a remote branch (after having created the branch), I'd be
> much obliged!

If it is a fast forward, just push like the initial push.  If it is not,
you can't push at all given the current repository settings.  Instead
you need to _delete_ the branch

git push origin :dev/skyline

and then push a fresh one

git push origin HEAD:refs/heads/dev/skyline

-- 
David Kastrup