P

push2mirror

push2mirror is a tool to create a full mirror from multiple source suites. The primary use case it enables is dividing the building of our merged meta mirror across multiple servers.

Project ID: 367
Name
Last commit
Last update
pushedmirror Loading commit data...