Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

FIX: replace origin by dynamic value in CI pipeline #250

Closed
wants to merge 10 commits into from

Conversation

bzah
Copy link
Member

@bzah bzah commented Jan 10, 2023

Fix CI when running on a fork of icclim.

@bzah bzah changed the title FIX: replace origin by dynamic value FIX: replace origin by dynamic value in CI pipeline Jan 10, 2023
Abel Aoun added 2 commits January 10, 2023 16:52
rely on actions/checkout@v3 to propoerly checkout the branch
@bzah bzah closed this Jan 10, 2023
@bzah bzah reopened this Jan 10, 2023
@bzah
Copy link
Member Author

bzah commented Jan 11, 2023

It looks like it's currently impossible to get the fork name from where the Pull request was requested in the github action workflow. So we can't checkout the branch and commit update automatically.

A workaround would be to trigger an specific workflow on push events on master after the PR merge, thus creating a new PR with the commits (logo update + API generation), but this is not satisfactory to me.
See actions/checkout#124 (comment)

In the meantime, PR coming from forks should be doubled checked before merging and the checks can be ignored.

@bzah bzah closed this Jan 11, 2023
@bzah bzah mentioned this pull request Jan 11, 2023
6 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant