PR label should distinguish if the tool is "safe" i.e. does not allow arbitrary code, and push as different toolsched owner #122

Open volodymyrss opened 2 months ago