sourcebots / robot-api

(Legacy) API to interface with robotd
http://docs.sourcebots.co.uk/api/
MIT License
4 stars 1 forks source link

Remove the zone script #43

Closed RealOrangeOne closed 6 years ago

RealOrangeOne commented 6 years ago

Extracted into https://github.com/sourcebots/zone-script

https://github.com/sourcebots/robot-api/pull/41#issuecomment-355864224

PeterJCLaw commented 6 years ago

@RealOrangeOne thanks! Could we add a bit more documentation to the new repo? I'm also wondering whether the script itself might fit best into https://github.com/sourcebots/robotd; I think the challenge is that I'm not currently sure how it's meant to be used nor what dependencies it has.

PeterJCLaw commented 6 years ago

The CI failure here is a result of there being a test for the zone_script which needs looking at.