Pulls a problem from Polygon and saves it in Polyman's template structure.
Downloads all problem files including solutions, tests, checker, validator, etc.
If local problem exists with same ID, prompts user to merge or overwrite.
// From CLI: polyman remote-pull 123456 ./my-problem awaitremotePullProblemAction('123456', './my-problem'); // Downloads problem 123456 to ./my-problem/
Example
// Pull to current directory awaitremotePullProblemAction('.', '.'); // Uses problem ID from Config.json in current directory
Pulls a problem from Polygon and saves it in Polyman's template structure. Downloads all problem files including solutions, tests, checker, validator, etc. If local problem exists with same ID, prompts user to merge or overwrite.