My colleague is trying to deploy his first quick start dagster serverless project but getting error not very informative error. can someone help check if there's an issue with his account or suggest what to do next?

Hi John, we pushed a release to resolve this issue. Are you still seeing this from your end?

thanks, deploy worked but am now unable to switch github account to another else: takes me to github permissions page but no way of proceeding to add that github acc