Closed tardis-bot closed 3 months ago
*beep* *bop*
Hi, human.
I prepared everything for a new TARDIS release.
:warning: WARNING: This pull request should be auto-merged. Do not merge manually if any check fails. Instead, disable auto-merge and push your fixes to the pre-release-2024.07.04 branch on tardis-bot/tardis. $ git remote add tardis-bot git@github.com:tardis-bot/tardis.git $ git fetch tardis-bot $ git checkout tardis-bot/pre-release-2024.07.04 $ git add <file_1> <file_2> ... $ git commit -m "<your_commit_message>" $ git push tardis-bot HEAD:pre-release-2024.07.04 Once all the checks pass, you can safely merge this pull request manually.
:warning: WARNING:
This pull request should be auto-merged. Do not merge manually if any check fails.
Instead, disable auto-merge and push your fixes to the pre-release-2024.07.04 branch on tardis-bot/tardis.
pre-release-2024.07.04
$ git remote add tardis-bot git@github.com:tardis-bot/tardis.git $ git fetch tardis-bot $ git checkout tardis-bot/pre-release-2024.07.04 $ git add <file_1> <file_2> ... $ git commit -m "<your_commit_message>" $ git push tardis-bot HEAD:pre-release-2024.07.04
Once all the checks pass, you can safely merge this pull request manually.
The docs workflow has succeeded :heavy_check_mark:
docs
Click here to see your results.
*beep* *bop*
Hi, human.
I prepared everything for a new TARDIS release.