Provide production Dockerfile, pullpreview workflow and docker-build-push workflow

[mszulik]

No description provided.

[crohr]

@mszulik hello, and thanks for trying pullpreview. I've had a look at the pullpreview error, and pushed a fix that should help with the issue reported. Could you relaunch the workflow to see if it works now?

Thanks!

[crohr]

@mszulik oh I see you've fixed the formatting already, and the env is running, great!

Let me know if there is anything else I can do for you :)

[mszulik]

Hi @crohr, thanks for the quick reaction and the fix, I will try it out later :).

[mszulik]

@crohr Hi, I have configured "@collaborators/push" as value for the "admins" input in the workflow, but only 1 collaborator's ssh key is added to the server instance. Did I misconfigure something?

[crohr]

@mszulik I got the same report so I guess something is not working as expected when retrieving collaborators. Not sure yet if it is a permission issue or if I misunderstood what that GitHub API provides. For now I would advise you to keep declaring admins explicitly.

[mszulik]

@crohr Alright thank you!

[gael-connan-cybex]

tested pull preview