Open fhnaumann opened 4 months ago
skip (equivalent to using a joker):
/skip
-> if only one goal: skip part of goal; if more: error
/skip [goalname]
-> if exists: skip part of goal; if not active/does not exist: error
forceskip:
/forceskip
-> if only one goal: skip part of goal; if more: error
/forceskip [goalname]
-> if exists: skip part of goal; if not active/does not exist: error
Rewrite the skipping behaviour