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	Add helix-lsp-types to workspace	2024-07-28 10:41:29 -04:00
CONTRIBUTING.md	contributing: Add steps for updating the MSRV	2024-12-03 10:07:59 -05:00
releases.md	release docs: Fix git push command for the release tag	2024-12-22 09:48:32 -05:00
vision.md