* Merge the experimental branch.
* test suite: Drop a couple of useless test log output lines.
* infrastructure: Run git gc --auto before mirroring. Closes:#841414.
* Merge the experimental branch.
* test suite: Drop a couple of useless test log output lines.
* infrastructure: Run git gc --auto before mirroring. Closes:#841414.