Skip to content
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.

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

Swap safety lead #170

Merged
merged 1 commit into from Apr 18, 2019

Conversation

Projects
None yet
3 participants
@gerkey
Copy link
Member

commented Apr 18, 2019

As requested by Dejan (and agreed by Geoff), name Geoff as lead for Safety WG.

Swap safety lead
As requested by Dejan (and agreed by Geoff), name Geoff as lead for Safety WG.

@tfoote tfoote added the in progress label Apr 18, 2019

@dirk-thomas dirk-thomas merged commit 0077835 into master Apr 18, 2019

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details

@delete-merged-branch delete-merged-branch bot deleted the gerkey-patch-1 branch Apr 18, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.