Add script to be able to kick the CI to run on a specified PR

Mbed-TLS / mbedtls-docs

Version-independent documentation for Mbed TLS

Apache License 2.0

21 stars 28 forks source link

Closed tom-cosgrove-arm closed 3 months ago

gilles-peskine-arm commented 3 months ago

As discussed, I've pushed an update to use a more standard location for the configuration file.

My other comments are non-blockers. I might handle them in a follow-up PR but I don't intend to push further updates here.

tom-cosgrove-arm commented 3 months ago

@gilles-peskine-arm Thanks for the config commit. I've fixed most of the other small niggles.

To whoever reviews: approval from me on Gilles' commit