5 Commits

Author SHA1 Message Date
George Joseph
f96a9b7e96 ari-stubs: Fix more local anchor references
Also allow CreateDocs job to be run manually with default branches.
2023-09-05 13:36:08 -06:00
George Joseph
f1c45f2225 ari-stubs: Fix more local anchor references
Also allow CreateDocs job to be run manually with default branches.
2023-09-05 13:05:37 -06:00
George Joseph
fb98642410 .github: Use generic releaser 2023-08-15 13:13:04 -06:00
George Joseph
c90aef87d2 .github: Suppress cherry-pick reminder for some situations
In PROpenedOrUpdated, the cherry-pick reminder will now be
suppressed if there are already valid 'cherry-pick-to' comments
in the PR or the PR contained a 'cherry-pick-to: none' comment.
2023-07-11 06:50:32 -06:00
George Joseph
eef68819b7 .github: Add workflow to this branch 2023-07-05 08:02:57 -06:00