diff options
| author | Rémy Raes <contact@remyraes.com> | 2023-04-14 11:14:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-14 11:14:55 +0200 |
| commit | e38ac9a343dca4a5cdc15b255b287473c26c6c8e (patch) | |
| tree | e57d15abf3563c3b4ce2a06178ad655bbf392099 /scripts/check_version_numbers.py | |
| parent | 25c8ab7487e821c3311b647cc594f483fd73d1cb (diff) | |
| download | FlightCore-e38ac9a343dca4a5cdc15b255b287473c26c6c8e.tar.gz FlightCore-e38ac9a343dca4a5cdc15b255b287473c26c6c8e.zip | |
feat: Filter PRs (#264)
* feat: add input elements to collapse headers
* feat: filter pull requests regarding input content
* fix: cast PR titles to lowercase to match uppercase words
* feat: display a message if there's no matching PRs
Diffstat (limited to 'scripts/check_version_numbers.py')
0 files changed, 0 insertions, 0 deletions