gnucash-htdocs local: Multiple changes pushed

[Geert Janssens]

On Tuesday 18 February 2014 11:01:32 Derek Atkins wrote:
> Geert Janssens <janssens-geert at telenet.be> writes:
> > On Thursday 02 January 2014 10:15:55 Derek Atkins wrote:
> >> Geert Janssens <janssens-geert at telenet.be> writes:
> >> > That's actually to be expected if I consider how code
> >> > synchronizes
> >> > to
> >> > github. For each push it
> >> > receives, code runs a git push --all to push the same changes to
> >> > github. However that
> >> > command will never remove branches.
> >> 
> >> Should we change how code pushes to github?
> >> 
> >> -derek
> > 
> > Perhaps we should use "git push --mirror" instead. That will push
> > all
> > changes including removing branches and tags. In the end we want
> > github to perfectly reflect the repository on code.
> 
> I believe you wrote that code, so you should decide the right way to
> push.

I ran a quick check, adding a branch and removing it again. Each push 
was correctly propagated to github. So 'git push --mirror' it will be.

Geert