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

Add NUTS lab to Automation #16

Merged
merged 2 commits into from
Mar 22, 2024
Merged

Add NUTS lab to Automation #16

merged 2 commits into from
Mar 22, 2024

Conversation

ubaumann
Copy link
Contributor

I saw that there is no automation lab and was thinking someone needed to make the start ;)
If I can update the PR, let me know.

@hellt
Copy link
Owner

hellt commented Mar 22, 2024

Hi Urs
I wanted to add a cleanup commit, but it seems your main branch is protected.
There is an option to allow maintainers to commit to the branch when you open a PR, you might have a look at it.

or you can apply the following git patch and push it again

0001-slight-cleanup.patch

@ubaumann
Copy link
Contributor Author

Thank you very much.
The setting was enabled but I will apply the patch later. Thanks again

image

@hellt hellt merged commit 9ad107c into hellt:main Mar 22, 2024
2 checks passed
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.

2 participants