Skip to content

rename hit to set#197

Merged
snukky merged 2 commits into
developfrom
rename-hit
Jul 11, 2025
Merged

rename hit to set#197
snukky merged 2 commits into
developfrom
rename-hit

Conversation

@zouharvi

@zouharvi zouharvi commented Jan 4, 2025

Copy link
Copy Markdown
Contributor

Fixes #191.

See justification in the original post. TL;DR, calling something "HIT" in front of real people is confusing. The alternatives are:

  • task, but we use that word for something else internally
  • job, but that sounds like something that takes much longer(?)
  • episode, block, chunk, collection, but somehow not fitting well(?)
  • set is not perfect but gets the point across? I.e. set of ~100 annotations.

Which would you prefer?

@zouharvi zouharvi requested a review from snukky January 4, 2025 10:56
@snukky snukky merged commit 4164be2 into develop Jul 11, 2025
3 checks passed
@zouharvi zouharvi deleted the rename-hit branch July 25, 2025 00:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants