Take contact with @jedisct1 if possible and import the repository that was once, or decide to start from scratch. Anyone compelled to open his/her own issues and pull-reqs here please wait a few days for us to realise if we can port the old github repo or not.