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