Skip to content

Conversation

mfranzke
Copy link
Member

@mfranzke mfranzke commented Nov 3, 2022

If a branch is being created for an issue through the GitHub UI, its branch name is starting with the issues number followed by the text. We should ensure that we even also support this within our branch name validation script.

adapted from db-ui/core#139

If a branch is being created for an issue through the GitHub UI, its branch name is starting with the issues number followed by the text. We should ensure that we even also support this within our branch name validation script.

adapted from db-ui/core#139
@mfranzke mfranzke added enhancement New feature or request cicd Changes inside .github folder labels Nov 3, 2022
@mfranzke mfranzke added this to the Release 1.0 milestone Nov 3, 2022
@mfranzke mfranzke requested a review from nmerget as a code owner November 3, 2022 10:09
@mfranzke mfranzke self-assigned this Nov 3, 2022
@github-actions
Copy link
Contributor

github-actions bot commented Nov 3, 2022

🔭🐙🐈 Test this branch here: https://db-ui.github.io/elements/review/mfranzke-patch-2

@github-actions github-actions bot added repo and removed cicd Changes inside .github folder labels Nov 3, 2022
@mfranzke mfranzke enabled auto-merge (squash) November 3, 2022 11:07
@mfranzke mfranzke merged commit 0105fa9 into main Nov 3, 2022
@mfranzke mfranzke deleted the mfranzke-patch-2 branch November 3, 2022 11:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request repo

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants