mirror of
https://github.com/1dot13/source.git
synced 2026-08-05 14:00:23 +02:00
These triggered source's release workflow on gamedir pushes. In the monorepo a push to master triggers it directly, and GitHub ignores workflow files outside the repository root anyway.