Reps are now maintained on GitHub at: https://github.com/devtools-html/devtools-core/tree/master/packages/devtools-reps

All the files in this folder are copied from the devtools-core github repository and
should not be modified here.

For any issue or feature request on Reps, please log an issue at
https://github.com/devtools-html/devtools-core/issues with the label "Reps".
