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.

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

Move people to main site #100

Merged
merged 1 commit into from Oct 15, 2017
Merged

Move people to main site #100

merged 1 commit into from Oct 15, 2017

Conversation

simonv3
Copy link
Member

@simonv3 simonv3 commented Oct 15, 2017

No description provided.

jancborchardt
jancborchardt approved these changes Oct 15, 2017
View reviewed changes
Copy link
Member

@jancborchardt jancborchardt left a comment

Choose a reason for hiding this comment

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

Yup!

@jancborchardt jancborchardt merged commit 6b92284 into master Oct 15, 2017
@jancborchardt jancborchardt deleted the move-people-to-main-repo branch October 15, 2017 18:38
@evalica
Copy link
Member

evalica commented Oct 17, 2017

We should also make the section accesible from the website.

@simonv3 simonv3 mentioned this pull request Oct 17, 2017
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jancborchardt jancborchardt jancborchardt approved these changes

@bnvk bnvk Awaiting requested review from bnvk

@evalica evalica Awaiting requested review from evalica

@elioqoshi elioqoshi Awaiting requested review from elioqoshi

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@simonv3 @evalica @jancborchardt