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

Define the partitioning effort in more detail #1

Merged
merged 3 commits into from
Apr 27, 2020
Merged

Define the partitioning effort in more detail #1

merged 3 commits into from
Apr 27, 2020

Conversation

annevk
Copy link
Collaborator

@annevk annevk commented Apr 22, 2020

No description provided.

@annevk
Copy link
Collaborator Author

annevk commented Apr 22, 2020

@arturjanc @bakulf @domenic @englehardt @johnwilander @hober @MattMenke2 @shivanigithub @othermaciej @TanviHacks I'd appreciate your thoughts. (And also from everyone else who happens to be passing by.)

@annevk annevk mentioned this pull request Apr 22, 2020
Closed
@annevk
Copy link
Collaborator Author

annevk commented Apr 23, 2020

I plan on merging this Monday, unless someone wants a review extension. To be clear, nothing is set in stone at this point.

englehardt
englehardt approved these changes Apr 23, 2020
View reviewed changes
Copy link

@englehardt englehardt left a comment

Choose a reason for hiding this comment

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

LGTM

shivanigithub
shivanigithub reviewed Apr 23, 2020
View reviewed changes
README.md Outdated Show resolved Hide resolved
@arturjanc
Copy link

LGTM

@othermaciej
Copy link

This is a good change.

@annevk annevk merged commit 7be4183 into privacycg:gh-pages Apr 27, 2020
@annevk
Copy link
Collaborator Author

annevk commented Apr 27, 2020

Thanks all!

@annevk annevk deleted the annevk/initial-take branch April 27, 2020 10:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@shivanigithub shivanigithub shivanigithub left review comments

@englehardt englehardt englehardt approved these changes

@hober hober hober 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.
6 participants
@annevk @arturjanc @othermaciej @hober @englehardt @shivanigithub