adapt boilerplate after move to coq-community

.github/workflows/docker-action.yml

@@ -25,7 +25,6 @@ jobs:
           - 'mathcomp/mathcomp:1.13.0-coq-8.12'
           - 'mathcomp/mathcomp:1.13.0-coq-8.13'
           - 'mathcomp/mathcomp:1.13.0-coq-8.14'
-          - 'mathcomp/mathcomp:1.13.0-coq-dev'
           - 'mathcomp/mathcomp-dev:coq-8.11'
           - 'mathcomp/mathcomp-dev:coq-8.12'
           - 'mathcomp/mathcomp-dev:coq-8.13'

README.md

@@ -5,10 +5,21 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 # Apery
 
 [![Docker CI][docker-action-shield]][docker-action-link]
+[![Contributing][contributing-shield]][contributing-link]
+[![Code of Conduct][conduct-shield]][conduct-link]
+[![Zulip][zulip-shield]][zulip-link]
 
-[docker-action-shield]: https://github.com/math-comp/apery/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/math-comp/apery/actions?query=workflow:"Docker%20CI"
+[docker-action-shield]: https://github.com/coq-community/apery/workflows/Docker%20CI/badge.svg?branch=master
+[docker-action-link]: https://github.com/coq-community/apery/actions?query=workflow:"Docker%20CI"
 
+[contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
+[contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md
+
+[conduct-shield]: https://img.shields.io/badge/%E2%9D%A4-code%20of%20conduct-%23f15a24.svg
+[conduct-link]: https://github.com/coq-community/manifesto/blob/master/CODE_OF_CONDUCT.md
+
+[zulip-shield]: https://img.shields.io/badge/chat-on%20zulip-%23c1272d.svg
+[zulip-link]: https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs.20.26.20users
 
 
 
@@ -26,7 +37,9 @@ remains the sole trusted code base.
   - Frédéric Chyzak (initial)
   - Assia Mahboubi (initial)
   - Thomas Sibut-Pinote (initial)
-- License: [CeCILL-C](Licence_CeCILL-C_V1-en.txt)
+- Coq-community maintainer(s):
+  - Assia Mahboubi ([**@amahboubi**](https://github.com/amahboubi))
+- License: [CeCILL-C](LICENSE)
 - Compatible Coq versions: 8.11 or later
 - Additional dependencies:
   - [MathComp ssreflect 1.12 or later](https://math-comp.github.io)
@@ -53,7 +66,7 @@ opam install coq-mathcomp-apery
 To instead build and install manually, do:
 
 ``` shell
-git clone https://github.com/math-comp/apery.git
+git clone https://github.com/coq-community/apery.git
 cd apery
 make   # or make -j <number-of-cores-on-your-machine> 
 make install

coq-mathcomp-apery.opam

@@ -5,9 +5,9 @@ opam-version: "2.0"
 maintainer: "[email protected]"
 version: "dev"
 
-homepage: "https://github.com/math-comp/apery"
-dev-repo: "git+https://github.com/math-comp/apery.git"
-bug-reports: "https://github.com/math-comp/apery/issues"
+homepage: "https://github.com/coq-community/apery"
+dev-repo: "git+https://github.com/coq-community/apery.git"
+bug-reports: "https://github.com/coq-community/apery/issues"
 license: "CECILL-C"
 
 synopsis: "A formally verified proof in Coq, by computer algebra, that ζ(3) is irrational"

meta.yml

@@ -1,8 +1,8 @@
 fullname: Apery
 shortname: apery
-organization: math-comp
+organization: coq-community
 opam_name: coq-mathcomp-apery
-community: false
+community: true
 action: true
 coqdoc: false
 
@@ -33,14 +33,17 @@ authors:
 - name: Thomas Sibut-Pinote
   initial: true
 
+maintainers:
+- name: Assia Mahboubi
+  nickname: amahboubi
+
 opam-file-maintainer: [email protected]
 
 opam-file-version: dev
 
 license:
   fullname: CeCILL-C
   identifier: CECILL-C
-  file: Licence_CeCILL-C_V1-en.txt
 
 supported_coq_versions:
   text: 8.11 or later
@@ -63,8 +66,6 @@ tested_coq_opam_versions:
   repo: 'mathcomp/mathcomp'
 - version: '1.13.0-coq-8.14'
   repo: 'mathcomp/mathcomp'
-- version: '1.13.0-coq-dev'
-  repo: 'mathcomp/mathcomp'
 - version: 'coq-8.11'
   repo: 'mathcomp/mathcomp-dev'
 - version: 'coq-8.12'