Skip to content

Update gdoc to new category #792

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jan 6, 2022
Merged

Update gdoc to new category #792

merged 1 commit into from
Jan 6, 2022

Conversation

sgratzl
Copy link
Member

@sgratzl sgratzl commented Jan 5, 2022

closes #272

Prerequisites:

  • Unless it is a documentation hotfix it should be merged against the dev branch
  • Branch is up-to-date with the branch to be merged with, i.e. dev
  • Build is successful
  • Code is cleaned up and formatted

Summary

add and uses new signal category cases_testing

@sgratzl sgratzl requested a review from krivard January 5, 2022 02:47
@sgratzl sgratzl self-assigned this Jan 5, 2022
@krivard
Copy link
Contributor

krivard commented Jan 6, 2022

Do you mean #727 ?

krivard
krivard approved these changes Jan 6, 2022
View reviewed changes
Copy link
Contributor

@krivard krivard left a comment

Choose a reason for hiding this comment

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

👍

@sgratzl sgratzl merged commit b1abb3d into dev Jan 6, 2022
@sgratzl sgratzl deleted the sgratzl/switch_categorization branch January 6, 2022 23:17
@krivard krivard mentioned this pull request Jan 7, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@krivard krivard krivard approved these changes

Assignees

@sgratzl sgratzl

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@sgratzl @krivard