Please fill out the relevant section and delete the others.

=== Create or edit a Git repo ===
googlesource host (e.g. chromium, chrome-internal): chromium
name of the repo:  https://chromium.googlesource.com/chromium/src/third_party/instrumented_libraries
is it a mirror, and of what: yes. Of chromium/src/third_party/instrumented_libraries
permissions: public

Needed to migrate v8 standalone MSAN bots to GN:
https://cs.chromium.org/chromium/src/build/config/sanitizers/sanitizers.gni?q=prebuilt_instrumented_libraries_available+file:%5Esrc/build/config/&sq=package:chromium&l=131&dr=C