pinchord-20 Undocumented Versioning
Pinchord · pinchord.git · Tickets · Changelog
A Pinchord Ticket (Open):
Ticket · History
- September 2, 2026 Created (title: Undocumented Versioning)
Changes
@@ -0,0 +1,11 @@+---+title: Undocumented Versioning+permalink: pinchord/undocumented-versioning/+ticket: open+---++*A [[pinchord-tickets|Pinchord Ticket]] (Open):*++The versioning of files in the Pinchord Plover plugin are actually quite important to being able to update, as files with the same name as existing files that users have already installed will _not_ be overridden, even if the new file has new content in it.++This should be documented somewhere. - September 9, 2026 Edited
Changes
@@ -6,6 +6,8 @@ *A [[pinchord-tickets|Pinchord Ticket]] (Open):* +Related: [[pinchord-versioning]]+ The versioning of files in the Pinchord Plover plugin are actually quite important to being able to update, as files with the same name as existing files that users have already installed will _not_ be overridden, even if the new file has new content in it. This should be documented somewhere. - October 20, 2026 Change formatting
Changes
@@ -6,7 +6,7 @@ *A [[pinchord-tickets|Pinchord Ticket]] (Open):* -Related: [[pinchord-versioning]]+Related: [[pinchord-versioning|versioning]] The versioning of files in the Pinchord Plover plugin are actually quite important to being able to update, as files with the same name as existing files that users have already installed will _not_ be overridden, even if the new file has new content in it. - October 21, 2026 Update the rest of the ticket pages to use numbers (renamed from pinchord-undocumented-versioning.md, status: none → open, category: none → unscreened, type: none → bug)
Changes
@@ -1,12 +1,13 @@ --- title: Undocumented Versioning-permalink: pinchord/undocumented-versioning/-ticket: open+status: open+category: unscreened+type: bug+redirect_from:+ - pinchord/undocumented-versioning/ --- -*A [[pinchord-tickets|Pinchord Ticket]] (Open):*--Related: [[pinchord-versioning|versioning]]+Related: [[pinchord@22|versioning]] The versioning of files in the Pinchord Plover plugin are actually quite important to being able to update, as files with the same name as existing files that users have already installed will _not_ be overridden, even if the new file has new content in it. - October 23, 2026 Remove trailing slashes
Changes
@@ -4,7 +4,7 @@ category: unscreened type: bug redirect_from:- - pinchord/undocumented-versioning/+ - pinchord/undocumented-versioning --- Related: [[pinchord@22|versioning]] - October 24, 2026 Removed screened/unscreened pinchord tickets, just make them all open (category: unscreened → none)
Changes
@@ -1,7 +1,6 @@ --- title: Undocumented Versioning status: open-category: unscreened type: bug redirect_from: - pinchord/undocumented-versioning - October 24, 2026 Rename tickets to <project>-<number> <title> (renamed from pinchord@20.md, title: Undocumented Versioning → none)
Changes
@@ -1,12 +1,11 @@ ----title: Undocumented Versioning status: open type: bug redirect_from: - pinchord/undocumented-versioning --- -Related: [[pinchord@22|versioning]]+Related: [[pinchord-22 Versioning]] The versioning of files in the Pinchord Plover plugin are actually quite important to being able to update, as files with the same name as existing files that users have already installed will _not_ be overridden, even if the new file has new content in it. - October 24, 2026 Replace ticket status, category and resolution with ticket (status: open → none)
Changes
@@ -1,5 +1,5 @@ ----status: open+ticket: open type: bug redirect_from: - pinchord/undocumented-versioning