The local repo is the one with everything working. The remote one is newly created.
I realise it’s a git issue, but if everyone’s encouraged to install Juliapro, and it comes with git and GitHub extensions active by default, it becomes a Julia community issue. I’m new to Julia, and this is what I’m presented with. If it doesn’t work without hours of fiddling about, or indeed not at all, it reflects badly on Julia. I’m really surprised that Juliapro doesn’t have any helpful documentation about this at all when surely it’s a central part of software development.