I am using upsource version 2.0.3 for code reviews. We have git mirrors in our environments for reducing the network latency but at times the local git mirrors fails/crashes. Hence we fallback to the remote git server. Changing this in the "Edit project" settings page in upsource does not seem to work. On changing the git server name in the "repository url" and verifying it by "Test Connection" button returns successful but upsource doesn't seem to be checking out the code in background. I waited for more than 5 minutes but no changes. Which log file needs to be checked to understand what's missing?