Files
geohot 60996454a3 szdiff: make comment steps work on both github and gitea
- 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
2026-08-01 10:44:41 -07:00
..
2026-07-10 20:37:30 -07:00