tree d2408d0d9247a7805426cc222125ffeaca4fa1a3
parent 488a0372a4242140cb2e4bfa28e4a8e652866670
author Richard Levasseur <richardlev@gmail.com> 1675185020 -0800
committer GitHub <noreply@github.com> 1675185020 -0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJj2Ut8CRBK7hj4Ov3rIwAAGEkIADqE9QctEUHzO9KNENZQ3SPO
 K68sJo78FuIitsKiOSVR0cLeW8AWdOwUScPnLnVKDC8wGjh1kAkhVITVW7wcGnkZ
 AdWeWkZth4O/6L9u68lQzGS9KBHM8Gg8y6X7SFN1P6RMb6Ci/9Sw+z0xIfndtidT
 FnFAtmDa7XJY6jeGGa+csSkjxFhSuPbJq9VVCKm1sBHKmsFpluNurzUYQdL2iLD2
 UV/8PcnKF3fOM4jqeZHCQRbhL8GY3miREOFE8H+NQe2J4WYWxvCE78Vn3/e6DHOB
 rAYqzWy+kuG4NcwG1n1GX0EulvxjLAsQTbsgPOIS0kQjgcPJgHAeOaQodCNdmoo=
 =8UXk
 -----END PGP SIGNATURE-----
 

Manually generate distribution archives (#1032)

Github has a habit of changing how the automatic source archives are generated (e.g. compression), which
changes their checksums, which then breaks users. Instead of risking that happening again, generate
the distribution archive as part of the release workflow and upload it to the release. The same mechanism,
`git export` is used, so the format and structure is the same as before.