> > ! [rejected] main -> main (fetch first) error: failed to push some refs to 'https://github.com/Mohamedjcali/aya'
> > hint: Updates were rejected because the remote contains work that you do not
> > hint: have locally. This is usually caused by another repository pushing to > > hint: the same ref. If you want to integrate the remote changes, use
> > hint: 'git pull' before pushing again.
> > hint: See the 'Note about fast-forwards' in 'git push --help' for details.
1. So you don’t see it in Aya, why? Because it just doesn’t check, or because there’s a more sophisticated way to fix discrepancies like this in large codebases?
2. I really don’t understand how this error can be confusing. The only times I’ve seen someone be confused by this is because they didn’t actually read the error, but got an unexpected message and immediately gets their senior (me) to read it for them…