hi! i added someone to one of the teams of my github org so that they could approve my PRs on behalf of that team (approval from that team is required by code owner rules). github correctly shows that the PR can now be merged because a code owner approved, but on graphite merge is still blocked (presumably it didn't realize the github team has been updated)

(If applicable) To help us repro, please send the following if you haven't already: - PR links, screenshots, and/or debug output if applicable - Repro steps - Does this happen consistently? Just to you or others on your team also? - Is this a regression? Is the problem new? - If you're having an issue with the CLI, please send us debug logs using

gt feedback --with-debug-context <any message>

on graphite it shows 2 ppl are part of the infra team. but on github it shows 3 ppl are part of the infra team

hey zhening, unfortunately we only sync teams once a day which would explain your delay. it's on our radar to improve this experience.