@yaarur@mathstodon.xyz My stack is (a local Git repository) - GitHub - Overleaf. Honestly I use overleaf mainly so I can share my drafts with my advisor, so I don't have much experience with propogating changes made originally on Overleaf, but pulling changes from GitHub to Overleaf works flawlessly for me. I also don't have much experience pushing directly from my local Git repository to Overleaf, so I am not sure if I really answer your question in any way.