Paul Wise wrote: > On Fri, 2013-06-14 at 21:34 +0000, Joey Hess wrote: > > > * Pass --ignore-removal to git-add, in preparation for a future change > > to its default behavior. Requires git 1.8.3. Closes: #711287 > > Are you sure that is the correct behaviour? > > Seems to me that when repositories/etc are removed from github, that > should be reflected in the git history.
In this case, we're adding new files to the github branch for eg, an issue report. We never delete files from that branch. -- see shy jo
signature.asc
Description: Digital signature
