Skip to content

Conversation

@nmerget
Copy link
Collaborator

@nmerget nmerget commented Nov 29, 2023

Proposed changes

closes #1687

Types of changes

  • Bugfix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Refactoring (fix on existing components or architectural decisions)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Documentation Update (if none of the other choices apply)

Further comments

@github-actions
Copy link
Contributor

🔭🐙🐈 Test this branch here: https://db-ui.github.io/mono/review/chore-1687-remove-as-star

@nmerget nmerget enabled auto-merge (squash) November 29, 2023 15:15
@mfranzke mfranzke removed request for annsch and dkolba November 29, 2023 16:23
@mfranzke mfranzke added the 🍄🆙improvement New feature or request label Nov 29, 2023
@mfranzke mfranzke added this to the Guidelines 3.0 Beta milestone Nov 29, 2023
@nmerget nmerget merged commit c9d0220 into main Nov 29, 2023
@nmerget nmerget deleted the chore-1687-remove-as-star branch November 29, 2023 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🍄🆙improvement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

as *; is still widely used

3 participants