Does VSCode show you the modifications to the library when you have opened one of its source files? What does git branch -a show in the library folders?
Btw because of the .gitignore containing .piolibdeps, git will not push the contents of that library into the repository of your main firmware.