From 3c1cb264c6e04665d0b223235f3f47b40043878b Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Wed, 8 Nov 2023 18:53:50 +0100 Subject: [PATCH 1/2] adjust descriptions for VsCoq --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 2212bea..4cf74d7 100644 --- a/README.md +++ b/README.md @@ -56,8 +56,8 @@ Contributions welcome! Read the [contribution guidelines](https://github.com/coq - [Company-Coq](https://github.com/cpitclaudel/company-coq) - IDE extensions for Proof General's Coq mode. - [jsCoq](https://github.com/ejgallego/jscoq) - Port of Coq to JavaScript, which enables running Coq projects in a browser. - [Jupyter kernel for Coq](https://github.com/EugeneLoy/coq_jupyter) - Coq support for the Jupyter Notebook web environment. -- [VsCoq1](https://github.com/coq-community/vscoq/tree/vscoq1) - Extension for the Visual Studio Code and VSCodium editors using Coq's legacy XML protocol. -- [VsCoq2](https://github.com/coq-community/vscoq) - Experimental language server and extension for the Visual Studio Code and VSCodium editors. +- [VsCoq](https://github.com/coq-community/vscoq) - Language server and extension for the Visual Studio Code and VSCodium editors. +- [VsCoq Legacy](https://github.com/coq-community/vscoq/tree/vscoq1) - Backwards-compatible extension for the Visual Studio Code and VSCodium editors using Coq's legacy XML protocol. - [Waterproof editor](https://github.com/impermeable/waterproof) - Educational environment for writing mathematical proofs in interactive notebooks. ### Libraries From 26756191c0100f87a5f385f2617d85923ddf509c Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Wed, 8 Nov 2023 18:54:08 +0100 Subject: [PATCH 2/2] adjust awesome_bot configuration --- .github/workflows/awesome-bot.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/awesome-bot.yml b/.github/workflows/awesome-bot.yml index 7f039ac..9084482 100644 --- a/.github/workflows/awesome-bot.yml +++ b/.github/workflows/awesome-bot.yml @@ -19,4 +19,4 @@ jobs: - name: Install dependencies run: gem install awesome_bot - name: Run Awesome Bot - run: awesome_bot README.md --request-delay 0.2 --allow-dupe --allow-redirect --white-list reddit.com + run: awesome_bot README.md --request-delay 0.2 --allow-dupe --allow-redirect --white-list reddit.com,gouv.fr