mirror of
https://github.com/ankitects/anki.git
synced 2026-07-28 16:09:50 -04:00
ANKI_NO_GIT_PUSH was intended to defer only the main repo's push (handled later by the "Push to branch" step), but push() was reused for the translation submodule pushes too. This let commits get referenced by SHA in the main repo without ever pushing them, leaving submodules pointing at commits that only existed on the ephemeral CI runner.