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

Make Scroll Dataset for PLDB contributors. Then acknowledgements page: everyone who has contributed code to this repo should be able to add their preferred website/email/twitter/etc if they want #67

Closed
breck7 opened this issue Sep 4, 2022 · 7 comments
Closed

Make Scroll Dataset for PLDB contributors. Then acknowledgements page: everyone who has contributed code to this repo should be able to add their preferred website/email/twitter/etc if they want #67

breck7 opened this issue Sep 4, 2022 · 7 comments
Labels
goodFirstIssue Good for newcomers

Comments

@breck7
Copy link
Owner

breck7 commented Sep 4, 2022

No description provided.

@breck7
Copy link
Owner Author

breck7 commented Sep 4, 2022

Ok figured this out. Will have a users database: 1a4b2f6

@breck7
Copy link
Owner Author

breck7 commented Sep 27, 2022

@codedbystuart was this you (sorry I got an email from GitHub but I don't see the comment here):

Screen Shot 2022-09-27 at 6 56 18 AM

@StuartDambi
Copy link
Contributor

Hello @breck7, yes this was me. I want to work on this issue.

@breck7
Copy link
Owner Author

breck7 commented Sep 27, 2022

awesome! go for it!

@breck7
Copy link
Owner Author

breck7 commented May 18, 2024

#82

@breck7 breck7 changed the title on the acknowledgements page, everyone who has contributed code to this repo should be able to add their preferred website/email/twitter/etc if they want Improve acknowledgements page: everyone who has contributed code to this repo should be able to add their preferred website/email/twitter/etc if they want May 18, 2024
@breck7
Copy link
Owner Author

breck7 commented May 18, 2024 •
edited
Loading

We could make a ScrollSet (https://scroll.pub/blog/scrollset.html) for PLDB Contributors.

@breck7 breck7 changed the title Improve acknowledgements page: everyone who has contributed code to this repo should be able to add their preferred website/email/twitter/etc if they want Make Scroll Dataset for PLDB contributors. Then acknowledgements page: everyone who has contributed code to this repo should be able to add their preferred website/email/twitter/etc if they want May 18, 2024
@breck7
Copy link
Owner Author

breck7 commented May 19, 2024

We should do this at some point, but not urgent

@breck7 breck7 closed this as completed May 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
goodFirstIssue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@breck7 @StuartDambi