I have linked a github repo to an Azure synapse account, and all the resources, pipelines, data flows, etc are successfully committed in ARM files in the repo
However, when another developer tries to access this synapse workspace he gets the following error "Retrieve GitHub Access Token - The personal access token is invalid. Please provide a valid token"
When he logs into github through synapse, he is never prompted to enter his PAT. He has full ownership rights on the github repo and is an admin on the Azure subscription and owner of the synapse workspace