mirror of
https://github.com/tinygrad/tinygrad.git
synced 2026-08-29 22:26:06 +00:00
- checkbranch: fetch master from the base repo clone_url instead of the PR head remote (origin), which on GitHub is the fork for fork PRs - replace the curl comment snippets with sticky_comment.py: stdlib-only, works with the REST API on both platforms, and keeps the skip_unchanged/ignore_empty behavior of the old action