Bug#677517: Where is the github repo you are speaking of?

[Martin Quinson]

Hello,

I stumbled over this bug while I was considering upgrading the
minetest package myself. I'd be more than happy to review and sponsor
this upload (if Michael is OK with it), if only I knew where this
packaging is.

So please, could you give me the relevant git root?

Thanks, Mt

-- 
By urging young scientists to submit papers for publication and to
apply for grants so that we can rely on the judgements of others we
make ourselves ridiculous.           -- Dijkstra