25.38.4 (2021-06-10) Bug Fixes git: git pull immediately after automerge (#10390) (e1c7845), closes #10372 Miscellaneous Chores log mergePr result (0e0f08b)