*8826* Improved docs, update the local repositories after pushing