bypass "make docker-push" in Github action in the etos repo

[andmat900]

Description

There is a problem in the Github CI workflow of the main etos repository: each time a branch is pushed in a fork, the workflow attempts to push a docker image to the eiffel-community repository.

Additional Context

Code:

etos/.github/workflows/generate-manifest.yml

Line 39 in 3a9479d

make docker-build docker-push split-installer IMG=$IMAGE_ID:$VERSION

Logs

Error example:
https://github.com/andmat900/etos/actions/runs/13244737973/job/36968337955

f920c5680b0b: Waiting
6f1cdceb6a31: Waiting
bbb6cacb8c82: Waiting
denied: permission_denied: The requested installation does not exist.
make: *** [Makefile:98: docker-push] Error 1
Error: Process completed with exit code 2.

Expected Behavior

make docker-push shall not be run until the pull request is merged.

Steps To Reproduce

No response

The version of this project/repo, if applicable

No response

The version/edition of the Eiffel Protocol used, if applicable

No response