Some clean up in CONTRIBUTING.md and fix broken links & redirects#1038

Merged

raphael-proust merged 9 commits intoocsigen:masterfrom arvidj:arvid@clean-up-contributing

Nov 8, 2024

+41-364

Commits on Nov 1, 2024

Remove outdated contributing docs, on [appveyor] and [travis]
Arvid Jakobsson
committed
[test_lwt_engine.ml]: remove [selection_tests]
Arvid Jakobsson
committed
[README.md]: remove appveyor cruft
Arvid Jakobsson
committed
[CONTRIBUTING.md]: Recommend 4.08.2 switch
Arvid Jakobsson
committed
[CONTRIBUTING.md]: Fix manual link
Arvid Jakobsson
committed
[README.md]: remove unused irc link
Arvid Jakobsson
committed
[README.md]: remove unused links
Arvid Jakobsson
committed
[README.md]: make links [https]
Arvid Jakobsson
committed

Commits on Nov 8, 2024

Further improve the README
raphael-proust
committed