chore: eliminate some useless content (#303)

This commit is contained in:
Andy Pan 2023-10-18 14:58:26 +08:00 committed by GitHub
parent f0b98c348a
commit d9a08d1309
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 9 deletions

View File

@ -1,13 +1,5 @@
---
name: Pull request
about: Propose changes to the code
title: ''
labels: ''
assignees: ''
---
<!--
Thank you for contributing to `ants`! Please fill this out to help us make the most of your pull request.
Thank you for contributing to `ants`! Please fill this out to help us review your pull request more efficiently.
Was this change discussed in an issue first? That can help save time in case the change is not a good fit for the project. Not all pull requests get merged.