On Tuesday 18 February 2014 11:01:32 Derek Atkins wrote: > Geert Janssens <[email protected]> writes: > > On Thursday 02 January 2014 10:15:55 Derek Atkins wrote: > >> Geert Janssens <[email protected]> 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 _______________________________________________ gnucash-devel mailing list [email protected] https://lists.gnucash.org/mailman/listinfo/gnucash-devel
