Skip to content

fix: only auto-merge if auto: prefix in title#6146

Merged
mcdurdin merged 1 commit intomasterfrom
fix/auto-title-only
Jan 24, 2022
Merged

fix: only auto-merge if auto: prefix in title#6146
mcdurdin merged 1 commit intomasterfrom
fix/auto-title-only

Conversation

@mcdurdin
Copy link
Copy Markdown
Member

@mcdurdin mcdurdin commented Jan 24, 2022

@mcdurdin mcdurdin added this to the B15S1 milestone Jan 24, 2022
@keymanapp-test-bot keymanapp-test-bot bot added the user-test-missing User tests have not yet been defined for the PR label Jan 24, 2022
@keymanapp-test-bot
Copy link
Copy Markdown

keymanapp-test-bot bot commented Jan 24, 2022

User Test Results

Test specification and instructions

User tests are not required

@github-actions github-actions bot added the fix label Jan 24, 2022
@keymanapp-test-bot keymanapp-test-bot bot removed the user-test-missing User tests have not yet been defined for the PR label Jan 24, 2022
@darcywong00 darcywong00 linked an issue Jan 24, 2022 that may be closed by this pull request
Copy link
Copy Markdown
Contributor

@darcywong00 darcywong00 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@mcdurdin mcdurdin merged commit ee5218c into master Jan 24, 2022
@mcdurdin mcdurdin deleted the fix/auto-title-only branch January 24, 2022 01:25
@keyman-server
Copy link
Copy Markdown
Collaborator

Changes in this pull request will be available for download in Keyman version 15.0.184-alpha

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

chore: update github auto merge PR to only merge on 'auto' label

3 participants