diff options
| author | GeckoEidechse <40122905+GeckoEidechse@users.noreply.github.com> | 2024-02-14 01:17:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-14 01:17:36 +0100 |
| commit | 7380c390f8fd536152feb4ff0211bf45c28174fc (patch) | |
| tree | 2f8222903edefa6c88d689c9e1172c446e6cc83f /docs/DEV-TOOLS.md | |
| parent | 0ebfe2cd94c9336a861e8d99359132d6c8cf138f (diff) | |
| download | FlightCore-7380c390f8fd536152feb4ff0211bf45c28174fc.tar.gz FlightCore-7380c390f8fd536152feb4ff0211bf45c28174fc.zip | |
refactor: Use dedicated library for getting PR list (#807)
Use the `octocrab` library for interacting with GitHub for getting the list of pull requests instead of writing own GitHub API library.
This is done to reduce code size in the longterm even if the current change will temporarily increase it.
Diffstat (limited to 'docs/DEV-TOOLS.md')
0 files changed, 0 insertions, 0 deletions