{
    "token": "{{ pillar["wpt-sync"]["upstream-wpt-sync-token"] }}",
    "username": "servo-wpt-sync",
    "wpt_path": "./web-platform-tests",
    "upstream_org": "jdm",
    "servo_org": "servo",
    "port": 5001,
    "api": "https://api.github.com/"
}

{
    "token": "{{ pillar["wpt-sync"]["upstream-wpt-sync-token"] }}",
    "username": "servo-wpt-sync",
    "wpt_path": "./web-platform-tests",
    "servo_path": "./servo",
    "upstream_org": "jdm",
    "servo_org": "servo",
    "port": 5001,
    "api": "https://api.github.com/"
}

Add path to servo repository.
Add path to servo repository.