Skip to content
This repository was archived by the owner on Sep 2, 2023. It is now read-only.

Add @jamiebuilds and @devongovett as observers #364

Merged
merged 1 commit into from
Jul 31, 2019
Merged

Add @jamiebuilds and @devongovett as observers #364

merged 1 commit into from
Jul 31, 2019

Conversation

guybedford
Copy link
Contributor

@guybedford guybedford commented Jul 29, 2019 •
edited by ljharb
Loading

As requested in #363.

Closes #363.

@guybedford guybedford mentioned this pull request Jul 29, 2019
Closed
jkrems
jkrems approved these changes Jul 30, 2019
View reviewed changes
Copy link
Contributor

@jkrems jkrems left a comment

Choose a reason for hiding this comment

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

I think for this to stick, they'd also need to be added to the appropriate Github team.

@ljharb
Copy link
Member

ljharb commented Jul 31, 2019

This PR received approval with quorum in today's meeting.

@ljharb ljharb merged commit cc09e4c into master Jul 31, 2019
@ljharb ljharb deleted the observers-pr branch July 31, 2019 19:31
@ljharb
Copy link
Member

ljharb commented Jul 31, 2019

Both added to the observers team.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@ljharb ljharb ljharb approved these changes

@jkrems jkrems jkrems approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Add @jamiebuilds and @devongovett as observers
3 participants
@guybedford @ljharb @jkrems