Skip to content

Update releasenotes.txt [skip ci]#5313

Merged
chrchr-github merged 1 commit intomainfrom
chrchr-github-patch-1
Aug 11, 2023
Merged

Update releasenotes.txt [skip ci]#5313
chrchr-github merged 1 commit intomainfrom
chrchr-github-patch-1

Conversation

@chrchr-github
Copy link
Copy Markdown
Collaborator

No description provided.

@firewave firewave changed the title Update releasenotes.txt Update releasenotes.txt [skip ci] Aug 11, 2023
@firewave
Copy link
Copy Markdown
Collaborator

Please append [skip ci] to the commits as well to avoid unnecessary builds.

@chrchr-github
Copy link
Copy Markdown
Collaborator Author

Please append [skip ci] to the commits as well to avoid unnecessary builds.

Again what learned.

Also, creating a PR in github seems to trigger twice the usual number of checks.

@firewave
Copy link
Copy Markdown
Collaborator

Also, creating a PR in github seems to trigger twice the usual number of checks.

That should only happen if you create a PR from a branch in the main (i.e. danmars) repo. It does not happen if you create it from a branch in a fork.

@chrchr-github chrchr-github merged commit 76ffd21 into main Aug 11, 2023
@chrchr-github chrchr-github deleted the chrchr-github-patch-1 branch August 11, 2023 14:49
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