├── .github └── ISSUE_TEMPLATE │ ├── 1-move-a-project.md │ ├── 2-change-maintainer.md │ └── 3-meta.md ├── .gitignore ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── LICENSE.md ├── README.md ├── logo-white.svg └── logo.svg /.github/ISSUE_TEMPLATE/1-move-a-project.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/manifesto/HEAD/.github/ISSUE_TEMPLATE/1-move-a-project.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/2-change-maintainer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/manifesto/HEAD/.github/ISSUE_TEMPLATE/2-change-maintainer.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/3-meta.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/manifesto/HEAD/.github/ISSUE_TEMPLATE/3-meta.md -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | *~ 2 | -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/manifesto/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/manifesto/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/manifesto/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/manifesto/HEAD/README.md -------------------------------------------------------------------------------- /logo-white.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/manifesto/HEAD/logo-white.svg -------------------------------------------------------------------------------- /logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/manifesto/HEAD/logo.svg --------------------------------------------------------------------------------