gnucash-htdocs local: Multiple changes pushed

[Geert Janssens]

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.

Geert