Commit Graph

21 Commits

Author SHA1 Message Date
Adam Reichold b816d4d561 Drop the xtask helper as it is superseded by Nox.
While the xtask code base is better engineered than our slightly messy Nox
manifest, all functionality is available via Nox including some that is not
available via xtask. Finally, only the Nox sessions are used in the CI by now so
that xtask does not see regular automated usage.
2023-06-05 17:41:41 +02:00
David Hewitt 71f02ff0bb netlify: fix root redirect 2023-01-11 00:44:14 +00:00
David Hewitt 68e2054fc4 netlify: generate all redirects automatically 2023-01-10 08:26:02 +00:00
bors[bot] 34b9445faf
Merge #2869
2869: change latest URL from netlify proxy to redirect r=davidhewitt a=davidhewitt

Now that we serve all gh-pages content in netlify, it's nicer to have this as a proper redirect rather than a rewrite. Then the user can see what version of the docs they have landed on.

Closes #2867 

Co-authored-by: David Hewitt <1939362+davidhewitt@users.noreply.github.com>
2023-01-08 20:54:43 +00:00
David Hewitt 70c3260262 remove fallback redirect for netlify -> gh-pages 2023-01-08 19:58:56 +00:00
David Hewitt b6c71a8525 change latest URL from netlify proxy to redirect 2023-01-08 19:55:24 +00:00
David Hewitt 20a7087ee0 add gh-pages content directly in netlify site 2022-12-26 12:47:57 +00:00
David Hewitt 56f132599b netlify: remove trailing slash rewrites 2022-12-18 08:49:45 +00:00
David Hewitt fe14d760a1 netlify: add some missing redirects 2022-12-18 07:54:55 +00:00
David Hewitt 13db7348a6 netlify: fix mdbook update 2022-11-30 08:31:00 +00:00
David Hewitt 548e90fcec release: 0.17.3 2022-11-01 20:47:46 +00:00
David Hewitt bd40011e93 release: 0.17.2 2022-10-04 08:13:53 +01:00
David Hewitt bb99c98ec1 use towncrier to generate CHANGELOG 2022-09-08 07:58:53 +01:00
David Hewitt 5c070ae473 netlify: fix main doc redirect 2022-09-07 07:46:24 +01:00
messense 1698c84c00
netlify: redirect to `main/` for deploy previews 2022-09-07 10:11:09 +08:00
David Hewitt caaf7bbda7 release: 0.17.1 2022-08-28 08:27:56 +01:00
David Hewitt e511b268b1 netlify: fix redirects 2022-08-24 10:25:58 +01:00
David Hewitt 04c1ac87f1 release: 0.17.0 2022-08-23 21:21:19 +01:00
David Hewitt cc0833aef7 netlify: add badge, use github-pages domain rather than pyo3.rs 2022-08-21 18:13:27 +01:00
David Hewitt e0b75768e4 netlify: add banner back to internal docs 2022-08-19 15:35:53 +01:00
David Hewitt b70318fd1b guide: deployment to netlify 2022-08-19 12:46:56 +01:00