Github integration with same filename

At the end it was just 3 files, so I just used the one proposed by the integration, and removed/copied the previous ones.

Cheers!