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

Libraries Repository #1804

Merged
merged 11 commits into from
Jun 22, 2021
Merged

Libraries Repository #1804

merged 11 commits into from
Jun 22, 2021

Conversation

radeusgd
Copy link
Member

@radeusgd radeusgd commented Jun 17, 2021 •
edited
Loading

Pull Request Description

Closes #1771

Important Notes

  • The base should be changed to main after the parent PR is merged.

Checklist

Please include the following checklist in your PR:

  • The documentation has been updated if necessary.
  • All code conforms to the Scala, Java, and Rust style guides.
  • All documentation and configuration conforms to the markdown and YAML style guides.
  • All code has been tested where possible.

@radeusgd radeusgd added Type: Enhancement -tooling Category: tooling p-high Should be completed in the next sprint labels Jun 17, 2021
@radeusgd radeusgd self-assigned this Jun 17, 2021
@radeusgd radeusgd force-pushed the wip/rw/edition-configuration branch from 06e53cb to cb8a707 Compare June 18, 2021 12:16
@radeusgd radeusgd force-pushed the wip/rw/library-repo branch 3 times, most recently from fd20745 to c5562cb Compare June 18, 2021 12:49
@radeusgd radeusgd marked this pull request as ready for review June 18, 2021 14:02
Base automatically changed from wip/rw/edition-configuration to main June 18, 2021 14:39
@radeusgd radeusgd force-pushed the wip/rw/library-repo branch 2 times, most recently from c92ac95 to 70c1014 Compare June 21, 2021 16:04
@radeusgd radeusgd force-pushed the wip/rw/library-repo branch from 1920784 to 0247d37 Compare June 22, 2021 09:27
@radeusgd radeusgd merged commit 1d124d7 into main Jun 22, 2021
@radeusgd radeusgd deleted the wip/rw/library-repo branch June 22, 2021 11:35
iamrecursion pushed a commit that referenced this pull request Jun 24, 2021
@radeusgd @iamrecursion
Libraries Repository (#1804)
34702b6
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kustosz kustosz kustosz approved these changes

@4e6 4e6 Awaiting requested review from 4e6

@iamrecursion iamrecursion Awaiting requested review from iamrecursion

Assignees

@radeusgd radeusgd

Labels
-tooling Category: tooling p-high Should be completed in the next sprint
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Mini-server for Third-Party Library Repositories
2 participants
@radeusgd @kustosz