Re: Cleaning up the git repo

[Dave Cottlehuber]

On Sat, 16 Jul 2016, at 12:42, Jan Lehnardt wrote:
> Heyall,
>
> in light of 2.0 getting real, I’d like to clean up the git repo.
 
Super! We also need the github mirror cleaned up; IIRC infra@ need to
take care of that on our behalf as it is not automatic last I asked.
 
Dave