mirrored github sync not working
Hi,
I have mirrored my github repo into spaces. When I make a push to the github repo, the changes are not shown in the spaces app. I have to do manual fetch everytime to update the github commits history in space.
Is this a bug, a missing feature or have i not activated something.
Please sign in to leave a comment.
Hello, please note that Space synchronizes mirrored repositories approximately once an hour. In case you'd like to have your mirrors synchronized immediately after pushes, please go to repository settings -> mirroring and set up a GitHub webhook secret. As soon as it's done, GitHub will start notifying Space about particular events happening with the repository.
Hi, when I created a repo with github mirror, I have a few PRs open on Github. However, I don't see it in Space? I thought the PRs in github would exist as Merge Requests in Space automatically?
Hello!
In order to synchronize GitHub pull requests and Space merge requests, it's necessary to set up GitHub authentication token (Space repository Settings -> Mirroring -> Set new GitHub token).
Please let me know if you have additional questions or if further assistance is needed.
I have set that up actually:
But Github PRs (which are still open) aren't shown in Space.