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

Update the remote repository when merging PRs #49

Closed
ctmbl opened this issue Apr 25, 2024 · 1 comment
Closed

Update the remote repository when merging PRs #49

ctmbl opened this issue Apr 25, 2024 · 1 comment
Assignees

Comments

@ctmbl
Copy link
Contributor

ctmbl commented Apr 25, 2024

update the GH Action to fetch new PRs on the remote server when deploying the new website

another solution would be to create a recurrent workflow doing that: because we upload blog artifacts built in GH Actions, we don't strictly need to fetch new commits on the remote server, this is really a convenience feature

@ctmbl ctmbl self-assigned this Apr 25, 2024
@ctmbl ctmbl added enhancement New feature or request and removed enhancement New feature or request labels Apr 30, 2024
@ctmbl ctmbl changed the title Update deployment workflow Update the remote repository when merging PRs May 21, 2024
@ctmbl
Copy link
Contributor Author

ctmbl commented May 21, 2024

#55 implement it

@ctmbl ctmbl closed this as completed May 21, 2024
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

No branches or pull requests

1 participant