Comment by FooBarWidget

I suspect preserving git history is allowed for the purpose of determining copyright compliance.