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