GitHub Users API

[bjoernricks]

What

Implement most important parts of the GitHub users API

https://docs.github.com/en/rest/users/users?apiVersion=2022-11-28

Why

We want to be able to get information about the SSH keys of the users.

References

DEVOPS-836

Checklist

• Tests

[github-actions]

Conventional Commits Report

Type	Number
Added	1

🚀 Conventional commits found.

[codecov]

Codecov Report

Merging #909 (03ffa18) into main (054c3b4) will increase coverage by 0.11%.
The diff coverage is 96.66%.

❗ Current head 03ffa18 differs from pull request most recent head b242de0. Consider uploading reports for the commit b242de0 to get more accurate results

@@            Coverage Diff             @@
##             main     #909      +/-   ##
==========================================
+ Coverage   90.13%   90.25%   +0.11%     
==========================================
  Files          90       92       +2     
  Lines        6203     6289      +86     
  Branches      877      888      +11     
==========================================
+ Hits         5591     5676      +85     
- Misses        423      424       +1     
  Partials      189      189              

Files	Coverage Δ
pontos/github/api/users.py	100.00% <100.00%> (ø)
pontos/github/models/user.py	100.00% <100.00%> (ø)
pontos/github/api/api.py	86.74% <62.50%> (-0.60%)	⬇️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more