mirror of
https://github.com/gogs/gogs.git
synced 2026-07-06 01:38:42 +02:00
If a pull request has changed any Go file, even if the new push doesn't change any, we should re-run Go checks to make GitHub Checks look consistent.