How to share github repository?

V5.2.0 - Windows - Nodejs

Hi!
I’m not sure if this is a bug, or something that we do wrong.

I started a new Wappler project that I’d like to work on together with a friend.
I created the project, pushed the initial commit to Github, but my friend has problems pulling the project to his environment.

Screenshot 2022-10-17 at 22.44.191414×782 40.4 KB

He is a collaborator on the Github repository. He connected his account but when clicking on “pull” he gets the above notification.

So we would like that we both work on the same project, and that we can push and pull the changes to Github, how do we solve this?

Thanks!