fetch

Fetch the deployed revisions of the compstate from all known hosts.

This will fetch revisions of the compstate from its ‘origin’ git remote and from its various deployments.

usage: srcomp fetch [-h] compstate

Positional Arguments

compstate

competition state repository