From: Carl Worth Date: Thu, 31 Dec 2020 19:52:43 +0000 (-0800) Subject: Rename hunt_id_index to is_hunt_index X-Git-Url: https://git.cworth.org/git?a=commitdiff_plain;h=83cb7e7717f1407ecc525bcc290489b7ce2480b0;hp=83cb7e7717f1407ecc525bcc290489b7ce2480b0;p=turbot Rename hunt_id_index to is_hunt_index Backed, of course, by a new is_hunt attribute. The rationale here is that the whole point of this index is to be a sparse attribute so that the code can efficiently query all existing hunts. But meanwhile, it's useful for puzzles to have a "hunt_id" attribute, which would confict with the goal of having "hunt_id" be sparse and populated only for hunts and not puzzles. So the fix here is to make hunt_id universal, and instead have a separate "is_hunt" attribute which is the sparse one, (and will clearly never be populated for a puzzle). ---