Cleanup some github mess