Skip to content

allow review metrics starting with digit#629

Merged
erdgeist merged 1 commit intofrab:masterfrom
elad-eyal:fix_review_metric_name_starting_with_digit
Nov 3, 2019
Merged

allow review metrics starting with digit#629
erdgeist merged 1 commit intofrab:masterfrom
elad-eyal:fix_review_metric_name_starting_with_digit

Conversation

@elad-eyal
Copy link
Collaborator

Before this change, a review metric starting with a digit will
convert to an sql term starting with a digit, which is not
acceptable SQL.

Before this change, a review metric starting with a digit will
convert to an sql term starting with a digit, which is not
acceptable SQL.
@erdgeist erdgeist merged commit 1a393ad into frab:master Nov 3, 2019
@elad-eyal elad-eyal deleted the fix_review_metric_name_starting_with_digit branch December 20, 2019 05:46
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