On Sat, 16 Dec 2017, Eric S. Raymond wrote: > Successful full conversion to a live git repo achieved. Conversion > stuff pushed.
Does it pass comparison (of both file content and permissions) of branch tips / tags, as an important test of whether there are any further bugs to resolve that show up that way, or is that test still to be done? > Jason, your filters script has a syntax error at line 32. A lot of Looks like it should be using /bin/bash not /bin/sh. -- Joseph S. Myers jos...@codesourcery.com
