### Description - Connect a project to a Git repository - Create a file in the Git repository (locally, or using the GitHub UI) - Pull the changes in the web app - The new file isn't listed - After manually refreshing the page, it is here ### Reproduction URL _No response_ ### Browsers _No response_ ### OS _No response_
Description
Reproduction URL
No response
Browsers
No response
OS
No response