From c0ec45d5c55db9179279ec0c0cdcb8df0ba085fa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C5=81ukasz=20Czajka?= <62751+lukaszcz@users.noreply.github.com> Date: Wed, 27 Nov 2024 16:42:16 +0100 Subject: [PATCH] Remove Discord links (#132) Remove the links to Discord, as we're not checking Discord often enough to timely respond to messages there. --- docs/README.juvix.md | 11 ++--------- docs/howto/contributing.md | 4 +--- mkdocs.insiders.yml | 2 -- mkdocs.yml | 2 -- 4 files changed, 3 insertions(+), 16 deletions(-) diff --git a/docs/README.juvix.md b/docs/README.juvix.md index 1e0efa142..761b76189 100644 --- a/docs/README.juvix.md +++ b/docs/README.juvix.md @@ -46,12 +46,7 @@ high-level programming language with many more on the horizon. It can compile programs into native executable, WASM, Cairo bytecode and arithmetic circuits facilitating zero-knowledge proofs. -Stay tuned for Juvix updates! Follow us on [:material-twitter: Twitter][twitter] -and join our [:fontawesome-brands-discord: Discord][Discord] community. - - +Stay tuned for Juvix updates and follow us on [:material-twitter: Twitter][twitter]! @@ -115,7 +110,7 @@ Discord][anomaDiscord]. --> --- Check out our blog to discover new features in the upcoming release, along - with helpful examples and more. And, don't forget to join us on [Discord]. + with helpful examples and more. [:octicons-arrow-right-24: Blog](./blog/index.md) @@ -132,8 +127,6 @@ Discord][anomaDiscord]. --> [anoma]: https://anoma.net [changelog]: https://docs.juvix.org/changelog.html -[Discord]: https://discord.gg/jwzaMZ2Sct -[anomaDiscord]: https://discord.gg/jwzaMZ2Sct [geb]: https://github.com/anoma/geb [GitHub]: https://github.com/anoma/juvix [homebrew]: https://brew.sh diff --git a/docs/howto/contributing.md b/docs/howto/contributing.md index f3f88f3f6..0bc4ac93c 100644 --- a/docs/howto/contributing.md +++ b/docs/howto/contributing.md @@ -42,8 +42,7 @@ Codespace][juvix-codespace] We value readability and maintainability over saving lines of code. The best source of truth for the Juvix code style is the existing codebase. We strongly encourage you to look at the existing code and follow the same style. Open an -issue if you have any questions, or better yet, join our [Discord][discord] and -ask there! +issue if you have any questions. Some basic guidelines when writing code: @@ -73,4 +72,3 @@ Thank you for contributing to Juvix! [stack]: https://docs.haskellstack.org/en/stable/README/ [just]: https://just.systems [pre-commit]: https://pre-commit.com/ -[discord]: https://discord.gg/PfaaFVErHt diff --git a/mkdocs.insiders.yml b/mkdocs.insiders.yml index d49100533..116a51ce3 100644 --- a/mkdocs.insiders.yml +++ b/mkdocs.insiders.yml @@ -74,8 +74,6 @@ extra: social: - icon: fontawesome/brands/github link: https://github.com/anoma/juvix - - icon: fontawesome/brands/discord - link: https://discord.gg/jwzaMZ2Sct - icon: fontawesome/brands/x-twitter link: https://x.com/juvixlang - icon: fontawesome/solid/blog diff --git a/mkdocs.yml b/mkdocs.yml index d78b6f8ed..cd2e76427 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -182,8 +182,6 @@ nav: - blog/index.md - Talks: - talks.md - - Discord: https://discord.gg/jwzaMZ2Sct - validation: nav: