Not sure why you had an issue, but one of our devs followed the instructions for pushing an existing repo and it worked ok (was done with developer only privileges, so you should be able to do the same).
I've basically finished the port I think at this point, all code should be working, could definitely use some help testing though since a lot of the tests were setup against an old testnet. I was going to start the merge request on it, and figure out what else needs to be done to get it fully working and tested now.