Comment by resc1440

Git push gained the ability to change the remote working directory - but only if that copy of the repo has been set up to allow it.