I\'m wondering if a remote git repo does (or should do) automatic delete of unreferenced file objects (and also trees) once it received a push from loc
git
push