Merge pull request #231 from michaelb/dev

Dev
michaelb · May 8, 2023 · 2950121 · 2950121
2 parents 08dcac3 + 44b0c0f
commit 2950121
Show file tree

Hide file tree

Showing 7 changed files with 49 additions and 764 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,7 @@
+## v1.3.2
+- Quality-of-life fixes courtesy of @zhengpd
+- Keep terminal display open by default
+
 ## v1.3.1
 - Fix SnipInfo on some Mac
 - Fix :help sniprun

diff --git a/CHECKLIST.md b/CHECKLIST.md
@@ -22,3 +22,14 @@
  - Edit release name
  - Bump Cargo.toml to next version on dev, suffixed by 'beta'
 
+
+# External contributions
+
+ - Accept and merge into master.
+ - Bump master to next version + 'beta' (beta can be skipped if immediately releasing)
+ - (eventually fix the contributions or merge other fixes) ....
+ - Remove beta tag from master's Cargo.toml if present
+ - create a new SIGNED tag vX.Y.Z on master: `git tag -s v8.9.5` (tag message should be equal to tag number, eg: v8.9.5)
+ - verify the signed tag: `git tag -v v8.9.5`
+ - git push origin vX.Y.Z
+ - goto 'After releasing'