Comment (by Miguel Zilhão):

I see, sorry, I was following the Bitbucket convention. please see commit https://bitbucket.org/canuda/lean_public/commits/ef88a7ccf4ebb7b80392d0711bf4e0f6dd1ffbc2

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2244/npscalars-is-lacking-a-readme-file