Title: Implement `usethis badge ty` by Copilot · Pull Request #1462 · usethis-python/usethis-python · GitHub
Open Graph Title: Implement `usethis badge ty` by Copilot · Pull Request #1462 · usethis-python/usethis-python
X Title: Implement `usethis badge ty` by Copilot · Pull Request #1462 · usethis-python/usethis-python
Description: Add badge support for the ty type checker.
usethis badge ty
Renders:
src/usethis/_core/badge.py: Add get_ty_badge() and include it in get_badge_order() after Ruff
src/usethis/_ui/interface/badge.py: Add ty CLI command with standard --remove/--show/--offline/--quiet options
tests/usethis/_ui/interface/test_interface_badge.py: Add TestTy (add, remove, show)
docs/cli/reference.md: Add ty badge entry
Original prompt
This section details on the original issue you should resolve
Open Graph Description: Add badge support for the ty type checker. usethis badge ty Renders: src/usethis/_core/badge.py: Add get_ty_badge() and include it in get_badge_order() after Ruff src/usethis/_ui/interface/badge...
X Description: Add badge support for the ty type checker. usethis badge ty Renders: src/usethis/_core/badge.py: Add get_ty_badge() and include it in get_badge_order() after Ruff src/usethis/_ui/interface/badge...
Opengraph URL: https://github.com/usethis-python/usethis-python/pull/1462
X: @github
Domain: github.com
| route-pattern | /:user_id/:repository/pull/:id/files(.:format) |
| route-controller | pull_requests |
| route-action | files |
| fetch-nonce | v2:b00de4a9-9859-f927-ce2e-653f217f9f6f |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | DB38:C2F0E:1C19C39:28CAC66:6A4CFB47 |
| html-safe-nonce | 6ae90c83a2dd07609c7cb68885a750a6d5e53ceb8e6de2f0c6ddcfb03c0e097f |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEQjM4OkMyRjBFOjFDMTlDMzk6MjhDQUM2Njo2QTRDRkI0NyIsInZpc2l0b3JfaWQiOiI1MTYxNTk5NTcxMDY3NzMwNzU5IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0= |
| visitor-hmac | 9a98d3b01dba17be60e8e21908a075253a09d079571373851edb5bad2c91617e |
| hovercard-subject-tag | pull_request:3431153760 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | / |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/usethis-python/usethis-python/pull/1462/files |
| twitter:image | https://avatars.githubusercontent.com/in/1143301?s=400&v=4 |
| twitter:card | summary_large_image |
| og:image | https://avatars.githubusercontent.com/in/1143301?s=400&v=4 |
| og:image:alt | Add badge support for the ty type checker. usethis badge ty Renders: src/usethis/_core/badge.py: Add get_ty_badge() and include it in get_badge_order() after Ruff src/usethis/_ui/interface/badge... |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | 31e4db13a9e20081f2fac78f441659a6576e582bbb15e153f9c7fb6473aa29f5 |
| turbo-cache-control | no-preview |
| diff-view | unified |
| go-import | github.com/usethis-python/usethis-python git https://github.com/usethis-python/usethis-python.git |
| octolytics-dimension-user_id | 216362695 |
| octolytics-dimension-user_login | usethis-python |
| octolytics-dimension-repository_id | 842189705 |
| octolytics-dimension-repository_nwo | usethis-python/usethis-python |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 842189705 |
| octolytics-dimension-repository_network_root_nwo | usethis-python/usethis-python |
| turbo-body-classes | logged-out env-production page-responsive full-width |
| disable-turbo | true |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 8307e9ba117a26e92a64fb1daf085d795a6552ed |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width