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

github/workflows: add autotick workflow #61

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

proppy
Copy link
Collaborator

@proppy proppy commented Mar 7, 2023

Fixes #60

@proppy
Copy link
Collaborator Author

proppy commented Mar 7, 2023

@mithro fyi
@umarcor does that seems reasonable?
@msaligane that might be useful for https://github.com/sscs-ose/sscs-ose-code-a-chip.github.io

@umarcor
Copy link

umarcor commented Apr 19, 2023

@proppy I'm not fond of having CI create PRs automatically, because it needs write permissions and that's cumbersome to handle with regard to contributors/forks. Hence, I would recommend to add the script and run the workflow periodically to check whether something is to be updated; but let a human actually commit the changes.

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.

pin dependencies
2 participants