A small thing I've noticed yesterday: The docs say

.... import_repository_symbols.php rREPO < symbols_data

but it should say

... import_repository_symbols.php REPO < symbols_data

(No leading r).

In prepration for T4245, we should probably be moving this stuff to accept IDs, Rxx, rCALLSIGN or CALLSIGN, and getting the abstractions for that in place if they aren't already.

I'm increasingly thinking that T4245 may also make "clone/checkout as" globally unique and allow it to serve as an alternate identifier, too, although that's a little messy.

And this should move to bin/repository import-symbols or similar, per discussion elsewhere.

So ideally we'd come out of it with these all working, via some shared mechanism on the core query infrastructure:

bin/repository import-symbols rCALLSIGN
bin/repository import-symbols CALLSIGN
bin/repository import-symbols R123
bin/repository import-symbols reponame

...and maybe just 123 too, although that's probably the least useful one.