On Fri, Jul 16, 2010 at 10:52, Tomeu Vizoso to...@tomeuvizoso.net wrote:
Hi,
have disabled again the CIA bot because it's reporting old commits
when people merge.
Please only activate it once uninteresting commits are filtered out.
Disabled it again because was sending multiple times the
Excerpts from Tomeu Vizoso's message of Thu Aug 05 11:11:00 +0200 2010:
have disabled again the CIA bot because it's reporting old commits
when people merge.
Please only activate it once uninteresting commits are filtered out.
Disabled it again because was sending multiple times the
El Sat, 17-07-2010 a las 14:17 +, Sascha Silbe escribió:
To avoid polluting the history with spurious merges, people should
rebase their patches on top of the remote branch before pushing them.
That only works if the changes are local - i.e. not if you've published them
on gitorious
El Fri, 16-07-2010 a las 10:52 +0200, Tomeu Vizoso escribió:
have disabled again the CIA bot because it's reporting old commits
when people merge.
Git does merges on the local clone, so it can't be it.
To avoid polluting the history with spurious merges, people should
rebase their patches on
Excerpts from Bernie Innocenti's message of Sat Jul 17 13:10:01 + 2010:
El Fri, 16-07-2010 a las 10:52 +0200, Tomeu Vizoso escribió:
have disabled again the CIA bot because it's reporting old commits
when people merge.
Git does merges on the local clone, so it can't be it.
Actually it
5 matches
Mail list logo
