Changes since previous release:
- Override designer when making a Noto PR. 47b0fbc
- Use name builders from axisregistry #577
- [packager] Add article/ARTICLE.en_us.html to allowlist d46fae2
- Quick and dirty add PR link to push lists #590
- gen-html: auto set script direction #595
- push: Fix parsing comments 20c4f66, #597
