> > But whats important from alexxy's solution is, that if you cannot push, > > because your HEAD is not up2date than do > > > > git pull --rebase > > > > and not only > > > > git pull > > > > Sorry wasn't alexxys solution, it was from rei4dan. > > > But I hit some bad thing, I am working alot with branches and noted that > the .git dir growths and growths, although I removed the branches. Can > I clean this up? >
Actually "git pull --rebase" was indeed suggested by alexxy on IRC which might be more efficient in normal cases than my approach (git pull with subsequent git rebase). So now it is something like this (without branches): >$ git clone ... edit ... >$ git add >$ export ECHANGELOG_USER="me <[email protected]>" >$ echangelog >$ repoman -p full >$ git add >$ git commit >$ git pull --rebase >$ git push Cheers, Reinis
