[build] successful pre-release kicks off docs update kicks off bump in nightly
Docs need to be released with the release version When pre-release PR is successfully merged, An update-docs PR will be created and auto-merged When update-docs PR is successfully merged, A bump-nightly-version PR is created and auto-merged Using PRs just to track potential problems, everything should auto close and clean
T
titusfortner committed
e57ed802d40623b802ce14f0f0d5c992be6ec620
Parent: 9dd1aa9