Michael Davis ea17b9edb7 release docs: Fix git push command for the release tag ... Git can be configured to push tags with `push.followTags` but this is not the default. Pushing the tag explicitly with `git push <remote> <tag>` is generally considered safer anyways since it only attempts to push the desired tag.		2024-12-22 09:48:32 -05:00
..
architecture.md
CONTRIBUTING.md
releases.md	release docs: Fix git push command for the release tag	2024-12-22 09:48:32 -05:00
vision.md