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

remove mention of Wasm from vision.md (#7395)

2023-06-19 23:10:50 -05:00