Yes, thank you!ericbsd wrote:I could maybe do simple shell script to sync the GitHub repository.
basically we need to sync the freebsd-ports once, say weekly (but NOT automatically), and after that there is already a script to grab the ghostbsd-ports and merge both together, this second script will run on the two builder-servers.
That allow for the same ports-tree on both builders.