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

Updating README #108

Merged
merged 2 commits into from
Nov 16, 2023
Merged

Updating README #108

merged 2 commits into from
Nov 16, 2023

Conversation

ifosch
Copy link

@ifosch ifosch commented Nov 15, 2023

This is intended as a change to merge to test auto-merge.

This is intended as a change to merge to test auto-merge.
@github-actions github-actions bot enabled auto-merge (rebase) November 15, 2023 16:40
@dsager
Copy link
Member

dsager commented Nov 16, 2023

+1

@ifosch
Copy link
Author

ifosch commented Nov 16, 2023

+1

This repo is now using automerge ;)

@dsager
Copy link
Member

dsager commented Nov 16, 2023

This repo is now using automerge ;)

But how does the repo use the workflow if we're only adding it in this PR 🤔

@github-actions github-actions bot merged commit 88458f7 into develop Nov 16, 2023
1 check passed
@github-actions github-actions bot deleted the automerge branch November 16, 2023 14:57
@ifosch
Copy link
Author

ifosch commented Nov 16, 2023

This repo is now using automerge ;)

But how does the repo use the workflow if we're only adding it in this PR 🤔

YMMV, but in my experience both Jenkinsfiles and GH workflows are applied from the source branch. I've always felt this was wrong and trouble, but I got used to that.

@dsager
Copy link
Member

dsager commented Nov 16, 2023

YMMV, but in my experience both Jenkinsfiles and GH workflows are applied from the source branch. I've always felt this was wrong and trouble, but I got used to that.

Weird, I thought that workflow files from the source branch weren't allowed. I ran into some errors related to this. Maybe it depends on the repo setting?!

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.

3 participants