{"owner":"dubzzz","repo":"fast-check","hasSkills":true,"hasMcp":false,"mcpConfig":null,"found":[".github/copilot-instructions.md"],"skills":{".github/copilot-instructions.md":"# GitHub Copilot Instructions\n\n## Pull Request Naming Convention\n\nWhen creating or naming pull requests, follow the [gitmoji](https://gitmoji.dev/) specification:\n\n### Format\n\n- **For changes to the main `fast-check` package**: Use the format `emoji Description`\n  - Example: `✨ Add new arbitrary for dates`\n  - Example: `🐛 Fix edge case in integer shrinking`\n\n- **For changes to other packages** (ava, vitest, jest, worker, poisoning, packaged): Use the format `emoji(package-name) Description`\n  - Example: `👷(vitest) Add support for new vitest features`\n  - Example: `🐛(jest) Fix compatibility with jest 29`\n  - Example: `📝(ava) Update documentation for ava integration`\n\nLimit the name of the PR to at most 50 characters for the Description part (that is, the text after the `emoji` or `emoji(package-name)` prefix). It forces the author to summarize the changes succinctly, making it easier for others to understand the main purpose of the PR at a glance.\n\n### Common Gitmoji Examples\n\n- ✨ Introduce new features\n- 🐛 Fix a bug\n- 📝 Add or update documentation\n- ✅ Add or update tests\n- 🏷️ Add or update types\n- ⚡️ Improve performance\n- 👷 Add or update CI/CD\n- ♻️ Refactor code\n- 🔧 Add or update configuration files\n- 🎨 Improve structure/format of the code\n- 🔥 Remove code or files\n- 🚀 Deploy stuff\n- 🔒️ Fix security or privacy issues\n- ⬆️ Upgrade dependencies\n- ⬇️ Downgrade dependencies\n- 📦 Add or update compiled files or packages\n\nFor a complete list of gitmoji codes, see https://gitmoji.dev/\n\n## Pull Request Template\n\nWhen creating pull requests, always use the PR template located at `.github/PULL_REQUEST_TEMPLATE.md`. The template includes:\n\n- **Description**: Provide a short description and link to related issues (if any)\n- **Checklist**: Keep the entire checklist and all of its items; only check the boxes for the items that are fulfilled.\n- **Advanced**: Fill in the Category and Impacts sections to help reviewers understand the changes\n\nMake sure to fill out all sections of the template completely and accurately, and do not delete or reorder any sections or checklist items—only update their content and checkbox states.\n"},"files":{".github/copilot-instructions.md":"# GitHub Copilot Instructions\n\n## Pull Request Naming Convention\n\nWhen creating or naming pull requests, follow the [gitmoji](https://gitmoji.dev/) specification:\n\n### Format\n\n- **For changes to the main `fast-check` package**: Use the format `emoji Description`\n  - Example: `✨ Add new arbitrary for dates`\n  - Example: `🐛 Fix edge case in integer shrinking`\n\n- **For changes to other packages** (ava, vitest, jest, worker, poisoning, packaged): Use the format `emoji(package-name) Description`\n  - Example: `👷(vitest) Add support for new vitest features`\n  - Example: `🐛(jest) Fix compatibility with jest 29`\n  - Example: `📝(ava) Update documentation for ava integration`\n\nLimit the name of the PR to at most 50 characters for the Description part (that is, the text after the `emoji` or `emoji(package-name)` prefix). It forces the author to summarize the changes succinctly, making it easier for others to understand the main purpose of the PR at a glance.\n\n### Common Gitmoji Examples\n\n- ✨ Introduce new features\n- 🐛 Fix a bug\n- 📝 Add or update documentation\n- ✅ Add or update tests\n- 🏷️ Add or update types\n- ⚡️ Improve performance\n- 👷 Add or update CI/CD\n- ♻️ Refactor code\n- 🔧 Add or update configuration files\n- 🎨 Improve structure/format of the code\n- 🔥 Remove code or files\n- 🚀 Deploy stuff\n- 🔒️ Fix security or privacy issues\n- ⬆️ Upgrade dependencies\n- ⬇️ Downgrade dependencies\n- 📦 Add or update compiled files or packages\n\nFor a complete list of gitmoji codes, see https://gitmoji.dev/\n\n## Pull Request Template\n\nWhen creating pull requests, always use the PR template located at `.github/PULL_REQUEST_TEMPLATE.md`. The template includes:\n\n- **Description**: Provide a short description and link to related issues (if any)\n- **Checklist**: Keep the entire checklist and all of its items; only check the boxes for the items that are fulfilled.\n- **Advanced**: Fill in the Category and Impacts sections to help reviewers understand the changes\n\nMake sure to fill out all sections of the template completely and accurately, and do not delete or reorder any sections or checklist items—only update their content and checkbox states.\n"},"items":[{"name":"copilot-instructions.md","path":".github/copilot-instructions.md","title":"copilot-instructions.md","content":"# GitHub Copilot Instructions\n\n## Pull Request Naming Convention\n\nWhen creating or naming pull requests, follow the [gitmoji](https://gitmoji.dev/) specification:\n\n### Format\n\n- **For changes to the main `fast-check` package**: Use the format `emoji Description`\n  - Example: `✨ Add new arbitrary for dates`\n  - Example: `🐛 Fix edge case in integer shrinking`\n\n- **For changes to other packages** (ava, vitest, jest, worker, poisoning, packaged): Use the format `emoji(package-name) Description`\n  - Example: `👷(vitest) Add support for new vitest features`\n  - Example: `🐛(jest) Fix compatibility with jest 29`\n  - Example: `📝(ava) Update documentation for ava integration`\n\nLimit the name of the PR to at most 50 characters for the Description part (that is, the text after the `emoji` or `emoji(package-name)` prefix). It forces the author to summarize the changes succinctly, making it easier for others to understand the main purpose of the PR at a glance.\n\n### Common Gitmoji Examples\n\n- ✨ Introduce new features\n- 🐛 Fix a bug\n- 📝 Add or update documentation\n- ✅ Add or update tests\n- 🏷️ Add or update types\n- ⚡️ Improve performance\n- 👷 Add or update CI/CD\n- ♻️ Refactor code\n- 🔧 Add or update configuration files\n- 🎨 Improve structure/format of the code\n- 🔥 Remove code or files\n- 🚀 Deploy stuff\n- 🔒️ Fix security or privacy issues\n- ⬆️ Upgrade dependencies\n- ⬇️ Downgrade dependencies\n- 📦 Add or update compiled files or packages\n\nFor a complete list of gitmoji codes, see https://gitmoji.dev/\n\n## Pull Request Template\n\nWhen creating pull requests, always use the PR template located at `.github/PULL_REQUEST_TEMPLATE.md`. The template includes:\n\n- **Description**: Provide a short description and link to related issues (if any)\n- **Checklist**: Keep the entire checklist and all of its items; only check the boxes for the items that are fulfilled.\n- **Advanced**: Fill in the Category and Impacts sections to help reviewers understand the changes\n\nMake sure to fill out all sections of the template completely and accurately, and do not delete or reorder any sections or checklist items—only update their content and checkbox states.\n","category":".github","tokens":540}]}