Skip to content

chore: remove ctc email#181

Merged
mhdawson merged 1 commit intomainfrom
rm-ctc
Mar 9, 2022
Merged

chore: remove ctc email#181
mhdawson merged 1 commit intomainfrom
rm-ctc

Conversation

@Trott
Copy link
Copy Markdown
Member

@Trott Trott commented Feb 23, 2022

The ctc email address was internal only and has not received any email
for years. The CTC has not existed for years. Let's delete the email
address.

The ctc email address was internal only and has not received any email
for years. The CTC has not existed for years. Let's delete the email
address.
Copy link
Copy Markdown
Member

@mcollina mcollina left a comment

Choose a reason for hiding this comment

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

lgtm

@Trott

This comment was marked as off-topic.

@Trott Trott mentioned this pull request Feb 23, 2022
12 tasks
Copy link
Copy Markdown
Member

@mhdawson mhdawson left a comment

Choose a reason for hiding this comment

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

LGTM

@Trott
Copy link
Copy Markdown
Member Author

Trott commented Mar 8, 2022

@mhdawson I forget who is on the short list of people that can merge PRs and make them take effect in this repo, but I know you're on that list. Can you take care of this one when you get a chance?

@mhdawson mhdawson merged commit bc737a6 into main Mar 9, 2022
@mhdawson
Copy link
Copy Markdown
Member

mhdawson commented Mar 9, 2022

deployed

@aduh95 aduh95 deleted the rm-ctc branch March 9, 2022 19:43
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.

5 participants