pull-target-arm-20251201

ebb62526 · docs/devel: Update URL for make-pullreq script · Dec 01, 2025

target-arm queue:
 * fix assertion in translation of BRA
 * update soon-to-break URL in docs