You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
tools/ and util/ serve exactly the same purpose as bin/.
IMO, their existence only make the top-level directory slower to navigate. (Each of those contain only one tool each.)
Task Outcome
The "owners" of those directories (use git history) should be consulted (unless if core-v-verif maintainers simply would mandate the change).
Determine if the two outlier directories could be incorporated into the main one.
If yes, then only bin/ should remain, and the other two are moved into there.
Completion Criteria
Only bin/ remains, or we decide that we don't care and keep things as they are.
Additional context
What prompted this ticket is that I was looking for a particular file, but I had to make detours through these directories, which felt like less than optimal use of time.
I do not have a strong opinion about this, so an acceptable outcome is simply that we declare "we don't care" and close the ticket.
But I do think it is a quality of life thing, and that the top-level directory is important in making first impressions etc, so decluttering could be worth it.
The text was updated successfully, but these errors were encountered:
Background information
tools/
andutil/
serve exactly the same purpose asbin/
.IMO, their existence only make the top-level directory slower to navigate.
(Each of those contain only one tool each.)
Task Outcome
The "owners" of those directories (use git history) should be consulted (unless if core-v-verif maintainers simply would mandate the change).
Determine if the two outlier directories could be incorporated into the main one.
If yes, then only
bin/
should remain, and the other two are moved into there.Completion Criteria
Only
bin/
remains, or we decide that we don't care and keep things as they are.Additional context
What prompted this ticket is that I was looking for a particular file, but I had to make detours through these directories, which felt like less than optimal use of time.
I do not have a strong opinion about this, so an acceptable outcome is simply that we declare "we don't care" and close the ticket.
But I do think it is a quality of life thing, and that the top-level directory is important in making first impressions etc, so decluttering could be worth it.
The text was updated successfully, but these errors were encountered: