Commit graph

142 commits

Author SHA1 Message Date
Ed Page
6add7347fc docs(design): Note that we want non-transient, machine-independent config 2023-03-13 15:08:12 -05:00
Ed Page
34289639e6 chore: Release 2023-03-13 12:33:33 -05:00
Ed Page
3d0de83fb6 chore: Release 2023-03-13 11:57:15 -05:00
Ed Page
a50bd03c2a chore: Release 2023-03-07 04:47:20 -06:00
Ed Page
5414608bf6 chore: Release 2023-03-07 03:18:52 -06:00
Ed Page
52d0ea7ddf chore: Release 2023-03-05 21:02:01 -06:00
Ed Page
08a9831825 chore: Release 2023-03-05 20:43:46 -06:00
Ed Page
c389c36b66 chore: Release 2023-02-28 07:25:30 -06:00
Ed Page
f4293b58c5 chore: Release 2023-02-28 06:30:27 -06:00
Ed Page
8cef23a8f4 chore: Release 2023-02-27 16:14:07 -06:00
Ed Page
9f306b2be9 chore: Release 2023-02-27 15:33:00 -06:00
Ed Page
26c2ca1853 chore: Release 2023-02-23 13:09:37 -06:00
Ed Page
efa38136f2
Merge pull request #657 from bnjbvr/write-changes
Allow writing changes in the github action
2023-02-23 13:08:55 -06:00
Ed Page
59a10c298a chore: Release 2023-02-23 10:44:11 -06:00
Benjamin Bouvier
c24f4675b8 docs: document writing_changes in the Github action 2023-02-08 15:04:32 +01:00
Ed Page
6e14cefb85 chore: Release 2023-02-01 10:09:00 -06:00
Ed Page
97770bdd02 chore: Release 2023-01-25 10:31:49 -06:00
Ed Page
12c6491895 chore: Release 2023-01-16 08:43:06 -06:00
Ed Page
1f4ee742ab chore: Release 2023-01-13 21:18:38 -06:00
Ed Page
59c4713e8b docs(ref): Further clarify identifiers and words
This supersedes #648
2023-01-03 07:06:08 -06:00
Ed Page
6773b4caa2 docs(ref): Define identifiers/words
This came up in #646
2023-01-02 07:13:25 -06:00
Ed Page
6efbdc33f4 chore: Release 2022-12-20 14:39:46 -06:00
Ville Skyttä
ec3ffa591c feat: Add Docker pre-commit hook
Mostly as an alternative to the src install, but trading host dependency
on Rust with one on Docker.
2022-12-20 21:06:04 +02:00
Ed Page
f268a89d38 chore: Release 2022-12-19 08:47:53 -06:00
Ed Page
1d8996e205 chore: Release 2022-12-06 13:54:17 -06:00
Ed Page
b38d05b941 docs: Clarify word vs identifier 2022-12-02 10:05:09 -06:00
Ed Page
4637c964a3 chore: Release 2022-12-01 20:25:20 -06:00
Ed Page
98c3a33cc6 chore: Release 2022-12-01 20:00:28 -06:00
Ed Page
6bf2e7c7d7 chore: Release 2022-11-29 23:00:05 -06:00
Ed Page
8b88f9f340 chore: Release 2022-11-21 22:26:08 -06:00
Ed Page
eff3fe8444 chore: Release 2022-11-04 09:52:20 -05:00
Ed Page
39b28c3010 chore: Release 2022-11-03 22:28:10 -05:00
Ed Page
47912c390a chore: Release 2022-10-25 07:11:46 -05:00
Ed Page
4e7e37799b chore: Release 2022-10-20 07:08:07 -05:00
Ed Page
2fc71b2e13 chore: Release 2022-10-11 09:48:09 -05:00
Ed Page
9576a03cee fix: Don't point to 1.12.9 (unsure where it went) 2022-10-06 14:35:40 -05:00
Ed Page
16ca0accbb chore: Release 2022-10-06 08:26:11 -05:00
Ed Page
45a93446f2 chore: Release 2022-09-28 16:15:05 -05:00
Ed Page
fd5abef1a7 chore: Release 2022-09-22 13:38:17 -05:00
Ed Page
668a94791b chore: Release 2022-09-21 19:28:48 -05:00
Ed Page
384aaef311 chore: Release 2022-09-15 08:43:18 -05:00
Ed Page
7be4ba34c9 chore: Release 2022-09-08 11:49:58 -05:00
Ed Page
3161cd6a82 chore: Release 2022-09-06 09:25:25 -05:00
Ed Page
c6d876294c chore: Release 2022-09-01 10:43:57 -05:00
Ed Page
0d43c1c24e chore: Release 2022-09-01 09:50:53 -05:00
Ed Page
fdb425c279 chore: Release 2022-08-30 09:28:57 -05:00
Ed Page
57a0ae69af chore: Release 2022-08-29 16:11:36 -05:00
Ed Page
4c2445fb57 chore: Release 2022-08-25 16:24:58 -05:00
Ed Page
7d2ad4148d chore: Release 2022-08-25 06:37:27 -05:00
Ed Page
0612303e7d chore: Release 2022-08-23 09:24:26 -05:00