Régis Behmo 8f2df6a842 ci: better github release management with scriv ... In scriv 1.1.0 the GitHub release description can be templated: https://github.com/nedbat/scriv/issues/61 https://github.com/nedbat/scriv/releases/tag/1.1.0 This means that we can finally get rid of our ugly scripts to generate the release description \o/		2023-01-17 12:12:10 +01:00
..
base.in	fix: "TypeError: Parameters to Generic[...]" error	2022-12-13 08:02:15 +01:00
base.txt	ci: better github release management with scriv	2023-01-17 12:12:10 +01:00
dev.in	docs: migrate to scriv to manage changelog	2022-11-24 16:15:15 +01:00
dev.txt	ci: better github release management with scriv	2023-01-17 12:12:10 +01:00
docs.in	docs: generate reference docs automatically	2021-10-14 12:59:57 +02:00
docs.txt	ci: better github release management with scriv	2023-01-17 12:12:10 +01:00
plugins.txt	feat: upgrade to olive	2022-12-12 16:55:07 +01:00