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
13db7348a6
netlify: fix mdbook update
2022-11-30 08:31:00 +00: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
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
